[Top][All Lists]

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

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

From: David Kastrup
Subject: Re: [PATCH] local-eval, local-compile, and the-environment (v3)
Date: Sun, 15 Jan 2012 18:38:56 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.92 (gnu/linux)

Mark H Weaver <address@hidden> writes:

> David Kastrup <address@hidden> writes:
>> I am not sure that the reasons for not permitting definition context in
>> local-eval are not of somewhat more theoretical than practical nature,
> There's at least one practical reason not to allow it, namely that it is
> _impossible_ to implement.  Consider this:
>   (let ((x 1))
>     (define (get-x) x)
>     (the-environment))
> If we allow (the-environment) to add definitions to the implicit
> `letrec',

Then just let's not allow it.  Consider the body of local-eval to be
wrapped inside of an implicit (begin ...).

Is there any currently valid construct that would change its behavior?
If not, you _gain_ functionality, and the resulting semantics are still
straightforward to explain as far as I can see.

David Kastrup

reply via email to

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