guile-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: New module system


From: Mikael Djurfeldt
Subject: Re: New module system
Date: 18 Dec 2000 20:54:13 +0100
User-agent: Gnus/5.0807 (Gnus v5.8.7) Emacs/20.7

Jim Blandy <address@hidden> writes:

> > Dirk Herrmann <address@hidden> writes:
> > > To implement Dybvig's module system in an interactive environment as
> > > guile's will lead to a couple of problems:  In the example above, we would
> > > like to be able to define 'y' in module M, even after M was imported
> > > somewhere.
> 
> It would be difficult to get variable and syntactic bindings to work
> consistently under this rule.  What happens if I import M, and then
> change the definition of some *macro* M exports?
> 
> You're right that we need to take care to support interactive
> development.  I do think a good system must react to changes like your
> example and my example coherently.  But I suspect that means it should
> track of what needs to be `reloaded', or something like that, not that
> it should try to incrementally propagate changes.

Actually, one possibility is to use the unmemoization protocol: Just
as we previously planned to unmemoize glocs and ilocs, we can
"unexpand" macros...



reply via email to

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