From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Newsgroups: gmane.lisp.guile.bugs Subject: bug#20087: gensym Date: Thu, 23 Jun 2016 16:13:57 +0200 Message-ID: <87shw4ngbe.fsf@gnu.org> References: <87a8zjxxpl.fsf@gnu.org> <87twjzytit.fsf@netris.org> <87wpovueos.fsf@gnu.org> <87twjxqdtq.fsf@netris.org> <87r3f04631.fsf@gnu.org> <87oa6snhha.fsf@pobox.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1466691341 26478 80.91.229.3 (23 Jun 2016 14:15:41 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 23 Jun 2016 14:15:41 +0000 (UTC) Cc: 20087@debbugs.gnu.org, rain1@openmailbox.org To: Andy Wingo Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Thu Jun 23 16:15:25 2016 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1bG5Pb-0006In-JK for guile-bugs@m.gmane.org; Thu, 23 Jun 2016 16:15:19 +0200 Original-Received: from localhost ([::1]:36928 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bG5Pa-00061b-Ml for guile-bugs@m.gmane.org; Thu, 23 Jun 2016 10:15:18 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:54207) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bG5PO-0005th-C7 for bug-guile@gnu.org; Thu, 23 Jun 2016 10:15:10 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bG5PK-0004An-5Z for bug-guile@gnu.org; Thu, 23 Jun 2016 10:15:06 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:40415) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bG5PK-0004Ad-2G for bug-guile@gnu.org; Thu, 23 Jun 2016 10:15:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1bG5PJ-00031K-W7 for bug-guile@gnu.org; Thu, 23 Jun 2016 10:15:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Thu, 23 Jun 2016 14:15:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 20087 X-GNU-PR-Package: guile X-GNU-PR-Keywords: Original-Received: via spool by 20087-submit@debbugs.gnu.org id=B20087.146669125711543 (code B ref 20087); Thu, 23 Jun 2016 14:15:01 +0000 Original-Received: (at 20087) by debbugs.gnu.org; 23 Jun 2016 14:14:17 +0000 Original-Received: from localhost ([127.0.0.1]:52752 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bG5Oa-000307-O8 for submit@debbugs.gnu.org; Thu, 23 Jun 2016 10:14:16 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:34800) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bG5OZ-0002zv-IG for 20087@debbugs.gnu.org; Thu, 23 Jun 2016 10:14:15 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bG5OT-0003wV-AT for 20087@debbugs.gnu.org; Thu, 23 Jun 2016 10:14:10 -0400 Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:36376) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bG5OM-0003uS-WE; Thu, 23 Jun 2016 10:14:03 -0400 Original-Received: from pluto.bordeaux.inria.fr ([193.50.110.57]:52504 helo=pluto) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128) (Exim 4.82) (envelope-from ) id 1bG5OK-0001HK-B6; Thu, 23 Jun 2016 10:14:01 -0400 X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 6 Messidor an 224 de la =?UTF-8?Q?R=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-unknown-linux-gnu In-Reply-To: <87oa6snhha.fsf@pobox.com> (Andy Wingo's message of "Thu, 23 Jun 2016 15:48:49 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Original-Sender: "bug-guile" Xref: news.gmane.org gmane.lisp.guile.bugs:8161 Archived-At: Andy Wingo skribis: > On Thu 24 Mar 2016 09:45, ludo@gnu.org (Ludovic Court=C3=A8s) writes: > >> Mark H Weaver skribis: >> >>> It turns out the manual already has the following text in the =E2=80=98= gensym=E2=80=99 >>> entry, which I think is sufficient. >>> >>> The symbols generated by =E2=80=98gensym=E2=80=99 are _likely_ to = be unique, since >>> their names begin with a space and it is only otherwise possible to >>> generate such symbols if a programmer goes out of their way to do so. >>> Uniqueness can be guaranteed by instead using uninterned symbols >>> (*noteSymbol Uninterned::), though they can=E2=80=99t be usefully wri= tten out >>> and read back in. >>> >>> What do you think? >> >> Oh indeed, I guess I had overlooked that. > > I just pushed something to master to error when serializing an > uninterned symbol. Otherwise compiling an uninterned symbol effectively > interns it! I am not sure that we can apply such a fix in 2.0 though as > who knows, maybe someone is compiling something with symbols made with > make-symbol. WDYT? If you agree we can close this bug. That makes sense to me. Thanks! Ludo=E2=80=99.