[plt-scheme] Attaching contracts to unit exports

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

On 3/2/07, John Clements <clements at brinckerhoff.org> wrote:
>
> Sure it does; in the simple case of a contract like a? . -> . b?,
> then the callee is blamed for failures on the positive side of the
> arrow, and the caller for failures on the negative side of the
> arrow.  So it's quite natural to extend this and call all caller
> blamings "negative".
>
>

Excellent! Thank you very much for the explanation. Now... everything
makes sense!

Regards,

Paulo Matos

> Always happy to be corrected,
>
> John Clements
>
>
>
>


-- 
Paulo Jorge Matos - pocm at soton.ac.uk
http://www.personal.soton.ac.uk/pocm
PhD Student @ ECS
University of Southampton, UK


Posted on the users mailing list.