[plt-scheme] Whole module contracted signature

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Sun Jun 14 20:11:24 EDT 2009

Can you make an example of what you would like?


On Jun 14, 2009, at 8:07 PM, Paulo J. Matos wrote:

> On Sun, 2009-06-14 at 16:20 -0400, Matthias Felleisen wrote:
>> If you mean unit signatures, the answer is yes. See docs. -- Matthias
>>
>>
>
> I can find whole-module signatures and units. I can find how to  
> attach a
> contract to units and signatures but not how to define whole-module
> signatures and units.
>
>> On Jun 14, 2009, at 4:09 PM, Paulo J. Matos wrote:
>>
>>> Hi,
>>>
>>> Given that there is a way to define whole-module signatures, is
>>> there a
>>> similar way for contracted signatures?
>>>
>>> Cheers,
>>>
>>> Paulo Matos
>>>
>>> _________________________________________________
>>>   For list-related administrative tasks:
>>>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>>
>



Posted on the users mailing list.