[plt-scheme] Whole module contracted signature

From: Paulo J. Matos (pocmatos at gmail.com)
Date: Sun Jun 14 20:07:57 EDT 2009

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.