From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Neil Jerram Newsgroups: gmane.lisp.guile.bugs Subject: [bug #20941] Modules interact badly with macros Date: Wed, 31 Oct 2007 00:23:55 +0000 Message-ID: <20071031-002354.sv185.77770@savannah.gnu.org> References: <20070831-144148.sv12227.6245@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 1193793852 23518 80.91.229.12 (31 Oct 2007 01:24:12 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 31 Oct 2007 01:24:12 +0000 (UTC) To: Andreas Rottmann , Neil Jerram , bug-guile@gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Wed Oct 31 02:24:13 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 1In2JY-0003TE-LK for guile-bugs@m.gmane.org; Wed, 31 Oct 2007 02:24:12 +0100 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1In2JO-0001jN-SE for guile-bugs@m.gmane.org; Tue, 30 Oct 2007 21:24:02 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1In2JK-0001he-3h for bug-guile@gnu.org; Tue, 30 Oct 2007 21:23:58 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1In2JI-0001fS-HU for bug-guile@gnu.org; Tue, 30 Oct 2007 21:23:57 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1In2JI-0001fP-Eh for bug-guile@gnu.org; Tue, 30 Oct 2007 21:23:56 -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 1In1NJ-0000f7-UL for bug-guile@gnu.org; Tue, 30 Oct 2007 20:24:02 -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 1In1NE-0002On-8R; Wed, 31 Oct 2007 00:23:56 +0000 Original-Received: from www-data by frontend with local (Exim 4.63) (envelope-from ) id 1In1ND-0002Ok-Lc; Wed, 31 Oct 2007 00:23:55 +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 i686; en-US; rv:1.8.0.13pre) Gecko/20070505 Iceape/1.0.9 (Debian-1.0.10~pre070720-0etch3) X-Apparently-From: 86.145.152.23 (Savane authenticated user ossau) In-Reply-To: <20070831-144148.sv12227.6245@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:3657 Archived-At: Update of bug #20941 (project guile): Status: None => Invalid _______________________________________________________ Follow-up Comment #1: Is this causing real trouble for you? >From the practical point of view, isn't it straightforward just to export any procedures that are used by the syntax expansion, as well as exporting the syntax itself? >From the conformance point of view, there is no case to answer, since R5RS doesn't specify a module system. If we in future implement a module or library system according to some external standard (e.g. R6RS or ERR5RS), and that system specifies that the procedures should not need exporting, in cases like this, then we will have to make sure that Guile follows that specification. For now, however, it seems reasonable just to document that any procedures used by a syntax expansion must also be exported. Do you agree? If you do, I'll look at updating the manual. _______________________________________________________ Reply to this item at: _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/ _______________________________________________ Bug-guile mailing list Bug-guile@gnu.org http://lists.gnu.org/mailman/listinfo/bug-guile