[plt-scheme] "require" introduces additional bindings in language modules

From: Kimberley Burchett (kim.burchett at gmail.com)
Date: Sun Jul 16 15:56:38 EDT 2006

Why doesn't the following cause an error?

(module mylang mzscheme
  (provide #%module-begin #%top require))
(module test-mylang mylang
  (require (only mzscheme add1))
  sub1)   <------ sub1 should be undefined here!

If I remove the require, or I just use regular modules instead of a
language module, then I get an error message as expected.  Is there
some subtle interaction between #%module-begin and require that I'm
interfering with?

Kimberley Burchett

Posted on the users mailing list.