[plt-scheme] Whole module contracted signature

On Sun, 2009-06-14 at 20:19 -0400, Sam TH wrote:
> On Sun, Jun 14, 2009 at 8:07 PM, Paulo J. Matos<pocmatos at gmail.com> 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.
> 
> #lang scheme/signature
> 
> (require scheme/contract)
> (contracted [foo (number/c . -> . number/c)])
> 
> There appears to be a bug in the scheme/signature language, which
> causes it to reject the use of signature forms when they are the only
> element of the file.  That's why I inserted the `require'.

Thanks, that's definitely similar to what I would expect.

Cheers,

Paulo Matos