From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Julian Graham Newsgroups: gmane.lisp.guile.devel Subject: Re: r6rs standard libraries Date: Thu, 28 Jan 2010 22:52:57 -0500 Message-ID: <2bc5f8211001281952v6d6d2e86g28b888f441547d72@mail.gmail.com> References: <2bc5f8211001240953h4959cb2ar3540be3d464fdaa2@mail.gmail.com> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: ger.gmane.org 1264737192 15156 80.91.229.12 (29 Jan 2010 03:53:12 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 29 Jan 2010 03:53:12 +0000 (UTC) Cc: guile-devel To: Andy Wingo Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Fri Jan 29 04:53:10 2010 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Nahur-0002xL-Pu for guile-devel@m.gmane.org; Fri, 29 Jan 2010 04:53:06 +0100 Original-Received: from localhost ([127.0.0.1]:42995 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Nahur-0004rK-2E for guile-devel@m.gmane.org; Thu, 28 Jan 2010 22:53:05 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1Nahuo-0004qP-Eg for guile-devel@gnu.org; Thu, 28 Jan 2010 22:53:02 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1Nahuk-0004n9-Tg for guile-devel@gnu.org; Thu, 28 Jan 2010 22:53:02 -0500 Original-Received: from [199.232.76.173] (port=35329 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Nahuk-0004n2-Qr for guile-devel@gnu.org; Thu, 28 Jan 2010 22:52:58 -0500 Original-Received: from mail-ew0-f224.google.com ([209.85.219.224]:45169) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1Nahuk-0002iN-Cu for guile-devel@gnu.org; Thu, 28 Jan 2010 22:52:58 -0500 Original-Received: by ewy24 with SMTP id 24so1556512ewy.26 for ; Thu, 28 Jan 2010 19:52:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:cc:content-type; bh=pUDwTD9rNcC37N5CwgXXYjR46SzlySPK2e4vetag734=; b=OJ2XeHq3qfYYWdNlbMIXjRLzulURtQ+JlMGMCbvRk1TZtnMtU1AHvZjwvGMpIJlsYA 3c8sde5y/ZHQeF3kKJVSuAYLw/OKNdN///8JvERA7XHRaFshDI3JgIl9o09qXL0xYQ7h DQYSPu9+GTQIkyPcIiwgRfflnGSLw9Je3aRDE= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; b=bqOdcyYJZHA1Bl4pO+w28QlzQs7mxlTIPUc93eMjaprlheRrjWT8KiMYlN5EwNQaLl ljhlocOYdVe7WtrMnV5QC2HUZlSw6NAXb5jINpOrkr1xe3uqMg3Ds18IilmSZ65WtJyK VP9hzhm1xaChpmqEc38FUySDqhdmhFcVffNHU= Original-Received: by 10.213.110.11 with SMTP id l11mr223683ebp.20.1264737177076; Thu, 28 Jan 2010 19:52:57 -0800 (PST) In-Reply-To: X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6 (newer, 2) X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:9953 Archived-At: Hi Andy, > I also think we should have `library' and `import' in the basic > environment. In order to do this I would like for them in boot-9.scm, > not in a separate module, and implemented in terms of syntax-case. > > Implementing `library' in terms of syntax-case will allow `library' to > expand out to (begin (define-module (foo) #:pure) (import a ...) ...), > which allows imports to be processed only in the `import' macro. The > `import' macro will be resolved in `(guile)' even though the module is > pure, due to hygiene. No toplevel-defined helper functions will be > necessary. > > Does this sound sensible to you? It sure does. (Sorry about the delay in replying -- I haven't had a lot of time for Guile this week, plus I wanted to let everyone resolve their thinking about boot-9.) Just a warning, though: I may need some syntax-case hand-holding. > If so, can you make a git branch that (1) adds `library' and `import' to > boot-9, then adds the other modules, one-by-one with tests? I've got my > finger on the merge trigger :) Will do. Regards, Julian