[plt-scheme] problem w/ namespace-require

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Sun Feb 27 20:04:00 EST 2005

The following code produces #t when run at the (module-language) prompt.

(begin
    (namespace-require '(prefix foo: mzscheme))
    (namespace-require 'mzscheme)
    (display (module-identifier=? (syntax +) (syntax foo:+))))

But the following module, when run in the module language, prints #f:

(module foo mzscheme
    (begin
    (namespace-require '(prefix foo: mzscheme))
    (namespace-require 'mzscheme)
    (display (module-identifier=? (syntax +) (syntax foo:+)))))

Why are these different, and what do I need to do to get the second to
produce #t?

sam th




Posted on the users mailing list.