From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Holger Peters Newsgroups: gmane.lisp.guile.user Subject: Re: Namespace confusion/pollution in languages implemented via Guile's compile-tower Date: Thu, 26 Nov 2020 17:27:52 +0100 Message-ID: References: <875z6gj32i.fsf@web.de> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="6570"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Posteo Webmail Cc: guile-user@gnu.org To: "Dr. Arne Babenhauserheide" Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Thu Nov 26 17:28:26 2020 Return-path: Envelope-to: guile-user@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1kiK8A-0001b7-2k for guile-user@m.gmane-mx.org; Thu, 26 Nov 2020 17:28:26 +0100 Original-Received: from localhost ([::1]:37738 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kiK89-0002F9-36 for guile-user@m.gmane-mx.org; Thu, 26 Nov 2020 11:28:25 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:45506) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kiK7j-0002Do-UH for guile-user@gnu.org; Thu, 26 Nov 2020 11:27:59 -0500 Original-Received: from mout01.posteo.de ([185.67.36.65]:38158) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kiK7h-0003GQ-8V for guile-user@gnu.org; Thu, 26 Nov 2020 11:27:59 -0500 Original-Received: from submission (posteo.de [89.146.220.130]) by mout01.posteo.de (Postfix) with ESMTPS id CD585160064 for ; Thu, 26 Nov 2020 17:27:53 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.de; s=2017; t=1606408073; bh=PxVmDZIsc3ztawsq83Yx8ogHMuVte7KlAHAoMtJ9Ga0=; h=Date:From:To:Cc:Subject:From; b=VzAV74U6mDjN8HDfBkZZA1aILOugQGUe/leSW3bIXCu1kjroUIxi2CB7qBHHyd8r0 3Xc1tw2QnG7zsTsoFkeEGLUo1QbWLdxmuTdHCpX6AW4P5z3yu/g2pO1cEa+iW3cgzY pQjT2GtY53L/aIyTYZ/GsjOKlcHhgewmpT/TKKzMYFzW3wS8jl1EzqZGI2DcoXhRTD LVKscXmkJaMkrbvKhWuIt7Cbm47ggyBxYzmW+wI/GFOtV0786tBqXKQ1KOGxIqXLDj uGOObA5wPlIwytdU0jK0p84KdoE2bb0uezt1ysYUSV7AVNVjha5Ze3Pf/5SsEMutxW g1UX+2oNlFqIQ== Original-Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4Chjpw635vz6tm8; Thu, 26 Nov 2020 17:27:52 +0100 (CET) In-Reply-To: <875z6gj32i.fsf@web.de> X-Sender: holger.peters@posteo.de Received-SPF: pass client-ip=185.67.36.65; envelope-from=holger.peters@posteo.de; helo=mout01.posteo.de X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H4=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Original-Sender: "guile-user" Xref: news.gmane.io gmane.lisp.guile.user:17058 Archived-At: Hi, > This is as intended. Do you have a rationale for this intention? I have been thinking about this for weeks now, and I still cannot come up with a scenario when I would like this behaviour. That is if I'd load a lua-on-guile REPL, I wouldn't like to have Lua symbols missing and Scheme symbols present. I had a look at the guile codebase proposed a patch that would unify the behaviour of REPL and script execution: https://lists.gnu.org/archive/html/guile-devel/2020-11/msg00004.html --- Holger Peters Am 07.11.2020 21:59 schrieb Dr. Arne Babenhauserheide: > holger.peters@posteo.de writes: >> It seems that in the REPL, Guile injects the `guile-user' module >> directly whereas when called with `-s` and a script guile uses the >> module provided with `#:make-default-environment'. That seems strange >> because overall I would expect REPL environments and non-REPL >> environments to be roughly the same. >> >> So, is this a bug? Works as intended? And if this is intended in this >> way is there a workaround to make REPL and script exeution to behave >> the same (preferably without namespace `pollution'). > > > Best wishes, > Arne