Re: illegal uses of define in guile

[tomas]

On Sat, Oct 19, 2002 at 05:22:03PM +0200, Dirk Herrmann wrote:

[...]

> Summarized:
> * The compiler must be able to emit code that allows references to
>   identifiers to be looked up at use time (that is, in the executor).
> * The executor must be able to handle definitions.
> * Once a binding has been referenced, the binding should not change.

Is this going to be enforced at run time somehow (says he with a
little evil grin) -- or does a change on an once-referenced binding
result in undefined behaviour?

In the first case there could be a hook for those interested in
`fixing' the memoization. Then you would have the best of both
worlds -- paying an extra penalty if you decide to do quirky
things. In the second case, well...

Thinking about it, even this is something the compiler could
emit optionally.

(Don't take my rants too serioulsy though -- I'm far from actually
playing around with the compiler).

Regards
-- tomas