From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Ludovic =?UTF-8?B?Q291cnTDqHM=?= Newsgroups: gmane.lisp.guile.bugs Subject: [bug #20941] Modules interact badly with macros Date: Wed, 31 Oct 2007 09:15:27 +0000 Message-ID: <20071031-091526.sv15145.6783@savannah.gnu.org> References: <20070831-144148.sv12227.6245@savannah.gnu.org> <20071031-002354.sv185.77770@savannah.gnu.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain;charset=UTF-8 X-Trace: ger.gmane.org 1193822158 17434 80.91.229.12 (31 Oct 2007 09:15:58 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 31 Oct 2007 09:15:58 +0000 (UTC) To: Andreas Rottmann , Ludovic =?UTF-8?B?Q291cnTDqHM=?= , Neil Jerram , bug-guile@gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Wed Oct 31 10:16:00 2007 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1In9fy-0002P7-L8 for guile-bugs@m.gmane.org; Wed, 31 Oct 2007 10:15:50 +0100 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1In9fp-0008Rl-2a for guile-bugs@m.gmane.org; Wed, 31 Oct 2007 05:15:41 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1In9fk-0008Pr-Eo for bug-guile@gnu.org; Wed, 31 Oct 2007 05:15:36 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1In9fi-0008PY-G9 for bug-guile@gnu.org; Wed, 31 Oct 2007 05:15:35 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1In9fi-0008PV-BU for bug-guile@gnu.org; Wed, 31 Oct 2007 05:15:34 -0400 Original-Received: from savannah.gnu.org ([199.232.41.3] helo=sv.gnu.org) by monty-python.gnu.org with esmtps (TLS-1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.60) (envelope-from ) id 1In9fe-0004bC-8d; Wed, 31 Oct 2007 05:15:30 -0400 Original-Received: from savannah.gnu.org ([199.232.41.3] helo=frontend) by sv.gnu.org with esmtp (Exim 4.63) (envelope-from ) id 1In9fb-000225-Uv; Wed, 31 Oct 2007 09:15:28 +0000 Original-Received: from www-data by frontend with local (Exim 4.63) (envelope-from ) id 1In9fb-000222-IH; Wed, 31 Oct 2007 09:15:27 +0000 X-Savane-Server: savannah.gnu.org:443 [199.232.41.3] X-Savane-Project: guile X-Savane-Tracker: bugs X-Savane-Item-ID: 20941 User-Agent: Mozilla/5.0 (X11; U; Linux ppc; en-US; rv:1.8.1.6) Gecko/20070801 (Debian-1.8.1.6-1) Galeon/2.0.2 (Debian package 2.0.2-4) X-Apparently-From: 140.93.21.6 (Savane authenticated user civodul) In-Reply-To: <20071031-002354.sv185.77770@savannah.gnu.org> X-detected-kernel: by monty-python.gnu.org: Linux 2.6 (newer, 3) X-BeenThere: bug-guile@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.bugs:3658 Follow-up Comment #2, bug #20941 (project guile): The thing is, for engineering reasons, there are procedures used by macros that you may not want to export. Or the macros you export may be using procedures from other modules that you do not want to re-export. Overall, you don't want to pollute the user's name space. Worse, if the module user uses a renamer or a selector (e.g., "#:select (the-macro-that-i-want)"), the macros just won't work. Symbols used by macros should be resolved in the macro definition context, not in its usage context (see "Composable and Compilable Macros: You Want it When?" by M. Flatt). FWIW, I used a hack to make "macros that work" in SRFI-35. _______________________________________________________ Reply to this item at: _______________________________________________ Message posté via/par Savannah http://savannah.gnu.org/ _______________________________________________ Bug-guile mailing list Bug-guile@gnu.org http://lists.gnu.org/mailman/listinfo/bug-guile