[Top][All Lists]

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

Re: [PATCH] Implement `the-environment' and `local-eval' in evaluator

From: Mark H Weaver
Subject: Re: [PATCH] Implement `the-environment' and `local-eval' in evaluator
Date: Sat, 07 Jan 2012 12:30:01 -0500
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.92 (gnu/linux)

Andy Wingo <address@hidden> writes:
> Here's the thing, I think: FOO and (local-eval FOO (the-environment))
> should be equivalent.

Agreed.  This is the equivalence that we should strive to achieve.

My simple patch honors this equivalence for the bindings that it
supports (which unfortunately does not yet include local syntax or
pattern variables).

Note that in the presence of locally-bound procedural macros, I see no
good way to achieve this equivalence (in the general case) without the
ability to embed references to the transformer procedures within
compiled code.


reply via email to

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