From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: =?utf-8?Q?Ludovic_Court=C3=A8s?= Newsgroups: gmane.lisp.guile.devel Subject: Re-exporting a replaced binding Date: Fri, 03 Jan 2020 19:30:34 +0100 Message-ID: <87r20go0j9.fsf@inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="186503"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) Cc: Andy Wingo To: Guile Devel Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Fri Jan 03 19:30:50 2020 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1inRig-000mKo-Dq for guile-devel@m.gmane.org; Fri, 03 Jan 2020 19:30:46 +0100 Original-Received: from localhost ([::1]:55644 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1inRif-0004k5-7e for guile-devel@m.gmane.org; Fri, 03 Jan 2020 13:30:45 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:45491) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1inRia-0004es-0H for guile-devel@gnu.org; Fri, 03 Jan 2020 13:30:40 -0500 Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]:36298) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1inRiX-0005Dm-9R; Fri, 03 Jan 2020 13:30:37 -0500 Original-Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=58218 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1inRiW-0004H9-8B; Fri, 03 Jan 2020 13:30:36 -0500 X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 14 =?utf-8?Q?Niv=C3=B4se?= an 228 de la =?utf-8?Q?R?= =?utf-8?Q?=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Original-Sender: "guile-devel" Xref: news.gmane.org gmane.lisp.guile.devel:20208 Archived-At: Hi again! I=E2=80=99m not sure if this is an intended consequence of cf08dbdc189f0005cab6f2ec7b23ed9d150ec43d, so I thought I=E2=80=99d share th= is example of a practical effect: --8<---------------cut here---------------start------------->8--- ludo@ribbon /tmp [env]$ cat x.scm (define-module (x) #:use-module (srfi srfi-1) #:re-export (delete)) ludo@ribbon /tmp [env]$ cat y.scm (define-module (y) #:use-module (x)) (pk 'delete delete) ludo@ribbon /tmp [env]$ guile -L . -c '(use-modules (y))' WARNING: (y): imported module (x) overrides core binding `delete' ;;; (delete #) ludo@ribbon /tmp [env]$ guile --version guile (GNU Guile) 2.9.8 --8<---------------cut here---------------end--------------->8--- Here =E2=80=98delete=E2=80=99 is replaced by srfi-1, but the replaced bit i= s not propagated to module (x), even though (x) simply re-exports it. Should the #:re-export clause propagate the replace bit, or should it not? :-) (In Guile < 3.x, #:re-export would propagate the replace bit since that bit was associated with the variable itself.) Ludo=E2=80=99.