[plt-scheme] Attaching contracts to unit exports

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
>