[plt-scheme] Signatures, am I missing something?

On 4/15/07, Matthew Flatt <mflatt at cs.utah.edu> wrote:
> At Sun, 15 Apr 2007 15:51:04 +0100, "Paulo J. Matos" wrote:
> > cnfreader-sig.ss:
> > (module cnfreader-sig (lib "a-signature.ss")
> >   get-clauses-from-cnf)
> >
> > [...]
> >
> > I'm getting:
> > define-unit: unknown signature in: cnfreader-sig^
>
> When "a-signature.ss" sees a module name of the form `X-sig', it
> removes the `-sig' before adding a `^'.
>
> Similarly, "a-unit.ss" removes a trailing `-unit' before adding `@'.
>

Oh, how naughty... :)

> I'll fix the docs...

Thank you!

Cheers,

Paulo Matos

>
> Matthew
>
>
>
>


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