From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Andy Wingo Newsgroups: gmane.lisp.guile.devel Subject: Re: [PATCH] Implement `the-environment' and `local-eval' in evaluator Date: Fri, 16 Dec 2011 17:01:17 +0100 Message-ID: <87obv88q0i.fsf@pobox.com> References: <87liqtpsl9.fsf@fencepost.gnu.org> <87mxaxihnw.fsf@pobox.com> <87obvclu92.fsf@fencepost.gnu.org> <87aa6wbp0w.fsf@pobox.com> <87fwgolgm5.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> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: dough.gmane.org 1324051310 22880 80.91.229.12 (16 Dec 2011 16:01:50 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 16 Dec 2011 16:01:50 +0000 (UTC) Cc: Peter TB Brett , guile-devel@gnu.org To: Mark H Weaver Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Fri Dec 16 17:01:42 2011 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 1RbaE9-0001ZV-OZ for guile-devel@m.gmane.org; Fri, 16 Dec 2011 17:01:41 +0100 Original-Received: from localhost ([::1]:49016 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RbaE8-0001ZT-5U for guile-devel@m.gmane.org; Fri, 16 Dec 2011 11:01:40 -0500 Original-Received: from eggs.gnu.org ([140.186.70.92]:43831) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RbaDw-0001Y0-Al for guile-devel@gnu.org; Fri, 16 Dec 2011 11:01:37 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RbaDr-0002YZ-9U for guile-devel@gnu.org; Fri, 16 Dec 2011 11:01:28 -0500 Original-Received: from a-pb-sasl-sd.pobox.com ([74.115.168.62]:63136 helo=sasl.smtp.pobox.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RbaDr-0002YT-72 for guile-devel@gnu.org; Fri, 16 Dec 2011 11:01:23 -0500 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 635BB848A; Fri, 16 Dec 2011 11:01:22 -0500 (EST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; s=sasl; bh=74UbgpKbwgB1+GEgmYyUXNIPu5E=; b=bnQBYK ATTC1nnkdtDyUkunM6k/fiJXwjyAQ0yCazeXHxSHUeZCrKOoWr3spInB+FIrV4op 0GvyH5PiCFPvTvV3lE1Zt+8znmCfdeceIhDsY3O9Pj7Nhno64BtUmciGs6Vp51ny BHJ+axL/gTzdnxwpHw0JGXf6fVRBB068RC0fg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; q=dns; s=sasl; b=bbrLDSdDH2RVf4jXAY4f2fSef2tOItwU PIjmfNfI+KIkqMJxczrbrgRXIHzdxjWA9z4zusqadMqkPQuVHpLHZghLTWZ4aSKt KxARlK5K0zub3pYOyshEgBENBolTAaibDyybBQFf1vtevwsSzb9eou3M+MES2JYl KYl4bSxOWMU= Original-Received: from a-pb-sasl-sd.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 3C2FB8489; Fri, 16 Dec 2011 11:01:22 -0500 (EST) Original-Received: from badger (unknown [90.164.198.39]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTPSA id 614E48488; Fri, 16 Dec 2011 11:01:21 -0500 (EST) In-Reply-To: <87obv8iljr.fsf@netris.org> (Mark H. Weaver's message of "Fri, 16 Dec 2011 10:27:36 -0500") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux) X-Pobox-Relay-ID: 32836BA2-27FF-11E1-A8E7-65B1DE995924-02397024!a-pb-sasl-sd.pobox.com X-detected-operating-system: by eggs.gnu.org: Solaris 10 (beta) X-Received-From: 74.115.168.62 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:13143 Archived-At: On Fri 16 Dec 2011 16:27, Mark H Weaver writes: > To my mind, top-level (module) variables are conceptually part of every > lexical environment placed within that module. Agreed. > (define foo 'module-a) > (define-syntax alt-environment > (syntax-rules () > ((_) (the-environment)))) > and then evaluate the following within module B: > (define foo 'module-b) > (local-eval 'foo (alt-environment)) > What should the result be? > My guess is that it should return 'module-a, because I think > conceptually it should act as though the local-expression passed to > `local-eval' were put in place of (the-environment), wherever that Dunno, I could make an argument either way :) Another question is how would local environments relate to procedural macros. Andy -- http://wingolog.org/