From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Mark H Weaver Newsgroups: gmane.lisp.guile.devel Subject: Re: [PATCH] Implement `the-environment' and `local-eval' in evaluator Date: Sat, 07 Jan 2012 12:30:01 -0500 Message-ID: <87hb078lpi.fsf@netris.org> References: <87liqtpsl9.fsf@fencepost.gnu.org> <8762hkbkwi.fsf@pobox.com> <87borclcem.fsf@fencepost.gnu.org> <87zkewa2vy.fsf@pobox.com> <87zkewjvyz.fsf@fencepost.gnu.org> <87vcpka13n.fsf@pobox.com> <87zkewnzy7.fsf@netris.org> <87r5089ui3.fsf@pobox.com> <87r508nv0o.fsf@netris.org> <87fwgondme.fsf@netris.org> <87borboalb.fsf@netris.org> <877h1zo7xx.fsf_-_@netris.org> <8762hgkh2k.fsf_-_@netris.org> <8762hg50b3.fsf@fencepost.gnu.org> <87obv8iljr.fsf@netris.org> <87obv88q0i.fsf@pobox.com> <87k45wif7l.fsf@netris.org> <87fwgkib53.fsf@netris.org> <87aa60i9q4.fsf@pobox.com> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: dough.gmane.org 1325957701 5022 80.91.229.12 (7 Jan 2012 17:35:01 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sat, 7 Jan 2012 17:35:01 +0000 (UTC) Cc: guile-devel@gnu.org To: Andy Wingo Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sat Jan 07 18:34:57 2012 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([140.186.70.17]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1RjaAT-0007H9-3z for guile-devel@m.gmane.org; Sat, 07 Jan 2012 18:34:57 +0100 Original-Received: from localhost ([::1]:46002 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RjaAS-0008D6-LV for guile-devel@m.gmane.org; Sat, 07 Jan 2012 12:34:56 -0500 Original-Received: from eggs.gnu.org ([140.186.70.92]:54431) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RjaAP-0008Cw-6O for guile-devel@gnu.org; Sat, 07 Jan 2012 12:34:54 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RjaAM-0006kI-RZ for guile-devel@gnu.org; Sat, 07 Jan 2012 12:34:53 -0500 Original-Received: from world.peace.net ([96.39.62.75]:41884) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Rja64-000690-Uy for guile-devel@gnu.org; Sat, 07 Jan 2012 12:30:25 -0500 Original-Received: from c-98-216-245-176.hsd1.ma.comcast.net ([98.216.245.176] helo=yeeloong) by world.peace.net with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.69) (envelope-from ) id 1Rja5z-0005Fb-1P; Sat, 07 Jan 2012 12:30:19 -0500 In-Reply-To: <87aa60i9q4.fsf@pobox.com> (Andy Wingo's message of "Sat, 07 Jan 2012 02:26:27 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.92 (gnu/linux) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3) X-Received-From: 96.39.62.75 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:13408 Archived-At: Andy Wingo 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