[R6RS] modules?

Michael Sperber sperber
Thu May 27 15:46:36 EDT 2004

>>>>> "Matthew" == Matthew Flatt <mflatt at cs.utah.edu> writes:

Matthew> At Thu, 27 May 2004 21:02:47 +0200, Michael Sperber wrote:
Matthew>   (module foo (lib "unit.ss")
Matthew>     (import "baz-sig.ss")
Matthew>     (export "foo-sig.ss")
>> But this means that you have to write the MODULE form in this way to
>> start with, no?  Or do you see a way to use the *existing* MODULE
>> form in this manner?

Matthew> The existing module form in MzScheme works, because there's an implicit
Matthew> use of `#%module-begin' around a module body --- like the implicit
Matthew> `#%app' for an application --- and `(lib "unit.ss")' could define its
Matthew> own.

I'm confused---I think there's been a misunderstanding.  Right now,
you say:

(require "baz.ss")

where baz.ss contains some module definition

rather than

(import "baz-sig.ss")

where "baz-sig.ss" presumably contains a signature definition.  Once
you've written the former, you can't convert it into the latter
without changing the source.  (Which may not be possible.)

Cheers =8-} Mike
Friede, V?lkerverst?ndigung und ?berhaupt blabla

More information about the R6RS mailing list