Re: [PATCH] Implement local-eval, local-compile, and the-environment (v4)

[David Kastrup]

Mark H Weaver <address@hidden> writes:

> Call me stubborn, but I _still_ think it would be better to use this
> implementation in 2.0.4, and to revert both `syntax-local-binding' and
> maybe also `universally-unique gensyms' for now.  I'm not opposed to
> Andy's approach, but I think we need more time to debate the relevant
> interfaces.  This way, we have complete freedom to do whatever we want
> in 2.0.5 and beyond, without making any hasty commitments.

I am not sure about the strength of the respective dependencies, but let
me just say that "universally-unique gensyms" as an idea has a bad ring
to me.  It makes the output of the compiler non-deterministic.  This
makes a lot of simple verification methods (like checking that a
bootstrapped compiler compiles the same output as its first stage)
infeasible.

If there are ways to avoid such a heavy-hitting component, that is a
definite plus.

-- 
David Kastrup