[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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]