[racket] Redefinitions in modules

On Tue, Jan 10, 2012 at 4:09 PM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
> It isn't redefined, it is shadowed-- the definitions in a module are
> in one lexical scope lower than the module position. Racket's module
> system doesn't allow redefinition.

The relevant section in the documentation that mentions the ability to
shadow #lang-introduced bindings is the second paragraph in:

    http://docs.racket-lang.org/reference/module.html