From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: ludo@gnu.org (Ludovic =?iso-8859-1?Q?Court=E8s?=) Newsgroups: gmane.lisp.guile.devel Subject: Re: Hierarchical name space Date: Thu, 08 Apr 2010 10:39:46 +0200 Message-ID: <871vequylp.fsf@gnu.org> References: <87k4ssusst.fsf@gnu.org> <87eiiqoojl.fsf@gnu.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1270716005 6918 80.91.229.12 (8 Apr 2010 08:40:05 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 8 Apr 2010 08:40:05 +0000 (UTC) Cc: guile-devel@gnu.org To: Andy Wingo Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Thu Apr 08 10:40:03 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 1NznHM-0003PK-2L for guile-devel@m.gmane.org; Thu, 08 Apr 2010 10:40:00 +0200 Original-Received: from localhost ([127.0.0.1]:42925 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NznHL-0003b3-33 for guile-devel@m.gmane.org; Thu, 08 Apr 2010 04:39:59 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1NznHH-0003aM-MX for guile-devel@gnu.org; Thu, 08 Apr 2010 04:39:55 -0400 Original-Received: from [140.186.70.92] (port=54946 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NznHD-0003YJ-5N for guile-devel@gnu.org; Thu, 08 Apr 2010 04:39:55 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69) (envelope-from ) id 1NznHA-0006sM-L5 for guile-devel@gnu.org; Thu, 08 Apr 2010 04:39:51 -0400 Original-Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:37888) by eggs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NznHA-0006sD-FX for guile-devel@gnu.org; Thu, 08 Apr 2010 04:39:48 -0400 X-IronPort-AV: E=Sophos;i="4.52,169,1270418400"; d="scan'208";a="48162105" Original-Received: from laptop-147-210-128-170.labri.fr (HELO nixey) ([147.210.128.170]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 08 Apr 2010 10:39:47 +0200 X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 19 Germinal an 218 de la =?iso-8859-1?Q?R=E9volution?= X-PGP-Key-ID: 0xEA52ECF4 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 83C4 F8E5 10A3 3B4C 5BEA D15D 77DD 95E2 EA52 ECF4 X-OS: x86_64-unknown-linux-gnu In-Reply-To: (Andy Wingo's message of "Thu, 08 Apr 2010 09:29:06 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux) X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. 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:10166 Archived-At: Hi, Andy Wingo writes: > Hi, > > On Thu 08 Apr 2010 01:01, ludo@gnu.org (Ludovic Court=C3=A8s) writes: > >> Julian Graham writes: >> >>>> I'm still inclined to think that the module namespace hierarchy (and it >>>> is a hierarchy) should not impinge on the environment of an evaluation. >>>> But, not something we can change right now. >>> >>> This is actually causing me some difficulty -- I'm implementing the >>> R6RS composite library, which imports and then re-exports the bindings >>> of a lot of the individual R6RS standard libraries. I'm running into >>> a problem with `(rnrs syntax-case)', which exports `syntax-case'. >> >> Unfortunately I don=E2=80=99t think a module names can contain =E2=80=98= syntax-case=E2=80=99, >> just like they can=E2=80=99t contain =E2=80=98eval=E2=80=99, =E2=80=98+= =E2=80=99, etc. :-( > > Explain more? Well, the problem has apparently vanished in 1.9: --8<---------------cut here---------------start------------->8--- $ cat foo.scm=20 (define-module (foo) #:export (bar)) (define bar 1) $ cat foo/eval.scm (define-module (foo eval) #:export (foo)) (define foo 2) $ guile -L . GNU Guile 1.9.9 Copyright (C) 1995-2010 Free Software Foundation, Inc. Guile comes with ABSOLUTELY NO WARRANTY; for details type `,show w'. This program is free software, and you are welcome to redistribute it under certain conditions; type `,show c' for details. Enter `,help' for help. scheme@(guile-user)> (use-modules (foo)) ;;; note: autocompilation is enabled, set GUILE_AUTO_COMPILE=3D0 ;;; or pass the --no-autocompile argument to disable. ;;; compiling ./foo.scm ;;; compiled /home/ludo/.cache/guile/ccache/2.0-0.P-LE-8/home/ludo/src/nixp= kgs/foo.scm.go scheme@(guile-user)> (use-modules (foo eval)) ;;; compiling ./foo/eval.scm ;;; compiled /home/ludo/.cache/guile/ccache/2.0-0.P-LE-8/home/ludo/src/nixp= kgs/foo/eval.scm.go scheme@(guile-user)>=20 $ ./result/bin/guile -L . guile> (use-modules (foo)) guile> (use-modules (foo eval)) ERROR: In procedure struct-vtable: ERROR: Wrong type argument in position 1 (expecting struct): # ABORT: (wrong-type-arg) guile> (version) $1 =3D "1.8.7" --8<---------------cut here---------------end--------------->8--- Fishy... Thanks, Ludo=E2=80=99.