[plt-scheme] Attaching contracts to unit exports

From: Robby Findler (robby.findler at gmail.com)
Date: Sun Mar 4 11:20:51 EST 2007

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.


Posted on the users mailing list.