Re: New module system

[Michael Livshin]

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!