[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: David Kastrup
Subject: Re: [PATCH] Implement local-eval, local-compile, and the-environment (v4)
Date: Sun, 22 Jan 2012 13:57:07 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.92 (gnu/linux)

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)

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

David Kastrup

reply via email to

[Prev in Thread] Current Thread [Next in Thread]