[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Dybvig's module system and interactivity
From: |
Mikael Djurfeldt |
Subject: |
Re: Dybvig's module system and interactivity |
Date: |
18 Dec 2000 20:05:48 +0100 |
User-agent: |
Gnus/5.0807 (Gnus v5.8.7) Emacs/20.7 |
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.