Re: macros expanding into definitions

["R. Kent Dybvig" <dyb@garbo.cs.indiana.edu>]

> 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.