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 libraries, round three Date: Sun, 25 Oct 2009 23:53:40 -0400 Message-ID: <2bc5f8210910252053o31424493re2648f133bf7691f@mail.gmail.com> References: <2bc5f8210909261310q7a32ff83x8ebceb44a78d55c5@mail.gmail.com> <2bc5f8210909302132w258d3f09tf1259bdfd6b1ca9e@mail.gmail.com> <2bc5f8210910241210t11ee37a9o60f3991eb35eab55@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 1256529236 7907 80.91.229.12 (26 Oct 2009 03:53:56 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 26 Oct 2009 03:53:56 +0000 (UTC) Cc: guile-devel To: Andy Wingo Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Mon Oct 26 04:53:49 2009 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.50) id 1N2GeR-0003LP-Dq for guile-devel@m.gmane.org; Mon, 26 Oct 2009 04:53:47 +0100 Original-Received: from localhost ([127.0.0.1]:57882 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1N2GeQ-0006OT-Qo for guile-devel@m.gmane.org; Sun, 25 Oct 2009 23:53:46 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1N2GeN-0006OO-TC for guile-devel@gnu.org; Sun, 25 Oct 2009 23:53:43 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1N2GeN-0006O4-3S for guile-devel@gnu.org; Sun, 25 Oct 2009 23:53:43 -0400 Original-Received: from [199.232.76.173] (port=40143 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1N2GeM-0006O1-Tj for guile-devel@gnu.org; Sun, 25 Oct 2009 23:53:42 -0400 Original-Received: from ey-out-1920.google.com ([74.125.78.147]:21905) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1N2GeM-0002rm-AN for guile-devel@gnu.org; Sun, 25 Oct 2009 23:53:42 -0400 Original-Received: by ey-out-1920.google.com with SMTP id 3so11804967eyh.34 for ; Sun, 25 Oct 2009 20:53:40 -0700 (PDT) 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=i+UkWz+/UtBaCMo8g0cYHxcWAEINPnmD6qQSiQng6NA=; b=JNGV79Jhc1/vhpEfijDfuA+G9DkBsdkQOVUi+yaxrH7KIEikfhal4TCdHaptTfjFMO mfmSz1PowSBV2Xc5G5x3B4CtLndF9lZ1vTAGprQ+ZV4h8QTVBh1xgr16Iljmd7mn9JKY 32Xq+XjOjF8e3hnfn+apEtZ0cSffnbbNmOUBM= 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=e5c6eYx56HYjxJYqqWq5cd/Z/q2yNsKAAlgO4JNtqyqQnZ1Np6V35aE34Zp0BXsaKR DWOLzK433XrMwKapkkP38SnBx3b37Sl8P7uEstGxQKjOUZfnmkCtQkbWS2CkK3E58LVf 0w7R490xzu0pBryVRg7QkYULXUjJoDi4CkwVk= Original-Received: by 10.211.132.33 with SMTP id j33mr3869267ebn.20.1256529220389; Sun, 25 Oct 2009 20:53:40 -0700 (PDT) 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:9574 Archived-At: Hi Andy, > It should work now, though with hacks -- if you manipulate the > module-public-interface directly. But perhaps some more baked in support > would be useful. Oh, certainly -- as I've learned over these many months, you can do some very interesting things by working with the lower-level module API. And indeed, that was how I did things in my initial implementation back in March. But... > Can you explain a use case a bit more? I think having trouble grasping > why you would want to do this :) I'm trying to write a macro to convert `library' forms into `define-module' forms. All of the contortions you can put your imported symbols through in R6RS can be flattened into a form that maps quite neatly onto define-module's #:select, but #:export and #:reexport aren't as flexible. Specifically, the use case is implementing the (rename ( ) ...) form for R6RS library export-specs. Like you said, you can manipulate the public interface directly -- I could, say, insert the code to do this as part of transforming the library body -- but it would be nice if I could leave the management of the interface entirely up to `define-module'. Regards, Julian