[Top][All Lists]
[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...
- Re: New module system, (continued)
Re: New module system, Mikael Djurfeldt, 2000/12/18
Re: New module system, Jim Blandy, 2000/12/18
Re: New module system,
Mikael Djurfeldt <=
Re: New module system, Jim Blandy, 2000/12/19
Re: New module system, Mikael Djurfeldt, 2000/12/19
Macro uexpansion, Mikael Djurfeldt, 2000/12/19
Re: Macro uexpansion, Mikael Djurfeldt, 2000/12/19
Re: Macro uexpansion, Craig Brozefsky, 2000/12/19
Re: Macro uexpansion, Mikael Djurfeldt, 2000/12/19
Re: Macro uexpansion, Craig Brozefsky, 2000/12/19
Re: Macro uexpansion, Mikael Djurfeldt, 2000/12/19
Re: Macro uexpansion, Jim Blandy, 2000/12/19
Re: Macro uexpansion, Mikael Djurfeldt, 2000/12/19