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. |
|