[plt-scheme] Attaching contracts to unit exports

On 3/2/07, Robby Findler <robby.findler at gmail.com> wrote:
> Unfortunately, not easily. Currently the contract library best
> supports putting contracts on modules, not units.
>

Well... :-( that's sad!

> If you wanted to explore doing that, you'd probably want to use
> `contract' directly, but that form requires you to give names for
> blame assignment.
>

Still, I thought that unless there was a trick somewhere to use
contracts with units, a possible solution would involve the use of
contract since the only three ways to attach contracts to values seem
to be provide/contract define/contract and contract. Oh well, here I
go look into it! :-)

Thanks for the reply,

Paulo Matos

> Robby
>
> On 3/2/07, Paulo J. Matos <pocm at soton.ac.uk> wrote:
> > Hi all,
> >
> > I'm trying to attach contracts to a unit exports using
> > define/contract. For an export foo I have in unit body:
> > (define/contract foo
> > ...
> > ...)
> >
> > Well, it doesn't work since I cannot export syntax from a unit (Dr's words!).
> > So, since I cannot also use provide/contract since it is not a module.
> > Is there any way to attach contracts to units export values?
> >
> > Regards,
> >
> > --
> > Paulo Jorge Matos - pocm at soton.ac.uk
> > http://www.personal.soton.ac.uk/pocm
> > PhD Student @ ECS
> > University of Southampton, UK
> > _________________________________________________
> >   For list-related administrative tasks:
> >   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
> >
>
>
>


-- 
Paulo Jorge Matos - pocm at soton.ac.uk
http://www.personal.soton.ac.uk/pocm
PhD Student @ ECS
University of Southampton, UK