[plt-scheme] Attaching contracts to unit exports

From: Paulo J. Matos (pocm at soton.ac.uk)
Date: Sun Mar 4 13:01:09 EST 2007

On 3/4/07, Robby Findler <robby.findler at gmail.com> wrote:
> On 3/2/07, John Clements <clements at brinckerhoff.org> wrote:
> > Now you understand why there are not currently built-in forms for
> > contracts on units; with modules, it's always possible to associate a
> > call to a contract-protected thing with source positions for both
> > caller and callee.
> As it turns out, there is almost enough support in the new unit system
> for contracts on units, but not quite. Based on side conversations
> with Matthew, I suspect that that may change and we may get contracts
> on units in the not too distant future.

Those are great news! :-)
I'll continue my work on my system and adapt it to use the new units
with contracts as soon as they are out then. :-)

Thank you...

> Robby

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

Posted on the users mailing list.