[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: macros expanding into definitions
> Personally, I would favor a semantics for internal definitions that is
> closer to toplevel definitions:
> 1) Definitions are evaluated in order.
> 2) They can be intermixed with non-definitions.
> 3) A redefinition of a variable is legal and equivalent to a set!
I like the fact that internal defines are just sugar for letrec, and
I'm not sure we should give this up. Maybe we should be looking for a
way to make top-level definitions more like internal definitions.