[plt-scheme] Attaching contracts to unit exports

From: Robby Findler (robby.findler at gmail.com)
Date: Fri Mar 2 08:43:12 EST 2007

Unfortunately, not easily. Currently the contract library best
supports putting contracts on modules, not units.

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.

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
>


Posted on the users mailing list.