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

[Mark H Weaver]

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.

    Thanks,
      Mark