[plt-scheme] Attaching contracts to unit exports

From: Paulo J. Matos (pocm at soton.ac.uk)
Date: Fri Mar 2 07:49:28 EST 2007

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?


Paulo Jorge Matos - pocm at soton.ac.uk
PhD Student @ ECS
University of Southampton, UK

Posted on the users mailing list.