[Top][All Lists]

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

Re: New module system

From: Michael Livshin
Subject: Re: New module system
Date: 18 Dec 2000 15:58:56 +0200
User-agent: Gnus/5.0807 (Gnus v5.8.7) XEmacs/21.1 (20 Minutes to Nikko)

Mikael Djurfeldt <address@hidden> writes:

> Note that Dybvig's system is entirely at the syntactic level.  It
> requires no special support in the evaluator since the syntactic
> forms of the module system will be expanded away when the evaluator
> starts building lexical environments.

so this means that the module system as is is "invisible" after the
expansion, right?

this also means that the module system's "entities" can't be reified
on the C level, right?  not that this is nesessarily a bad thing.

> The basic problem you are addressing is essentially what to do with
> already expanded code when a macro definition is changed.  Should we
> or should we not re-expand code using the new definition?
> I've never seen a system which re-expands code, but maybe this is
> possible?

FWIW, the Common Lisp systems I've seen don't re-expand code when a
macro definition changes.

I'm a Lisp variable -- bind me!

reply via email to

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