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

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Sun Apr 15 17:03:55 EDT 2007

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 `@'.

I'll fix the docs...

Matthew



Posted on the users mailing list.