Re: Dybvig's module system and interactivity

[Mikael Djurfeldt]

Mikael Djurfeldt <address@hidden> writes:

> >  1: (let ((x foo))
> >  2:   (import M)
> >  3:   x)

[...]

> BTW, your example above is not correct.  Hygiene of binding reference
> makes it impossible for module M to shadow x.  The reason why the
> import of module M could influence the expressions following it in
> Dybvig's example is that both the module definition and the following
> expressions are within the same scope.

Actually, this statement is wrong.  x will be shadowed.  But this
doesn't change my argument.