GNU logs - #48448, boring messages

Message sent to bug-guile@HIDDEN:

Subject: bug#48448: 'procedure-name' returns #f if name is #{}# (the empty symbol)
Resent-From: Maxime Devos <maximedevos@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Sat, 15 May 2021 18:28:02 +0000
Resent-Message-ID: <handler.48448.B.162110326814662 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 48448 <at> debbugs.gnu.org
Message-ID: <1b56d817814d4d1fa08e70578d4aebac909b0aff.camel@HIDDEN>
From: Maxime Devos <maximedevos@HIDDEN>
Date: Sat, 15 May 2021 20:27:27 +0200
Content-Type: multipart/signed; micalg="pgp-sha512";
 protocol="application/pgp-signature"; boundary="=-3RAO43t9s1IhYgGbQFLN"
User-Agent: Evolution 3.34.2 
MIME-Version: 1.0
Received-SPF: pass client-ip=2a02:1800:110:4::f00:1a;
 envelope-from=maximedevos@HIDDEN; helo=albert.telenet-ops.be
X-Spam_score_int: -27
X-Spam_score: -2.8
X-Spam_bar: --
X-Spam_report: (-2.8 / 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, FREEMAIL_FROM=0.001,
 RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001,
 SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -0.5 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -2.3 (--)


--=-3RAO43t9s1IhYgGbQFLN
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

guile --version: 3.0.5
In a REPL:

(let ((#{}# (lambda () 0)) (something-else (lambda () 0)))
  (map procedure-name (list #{}# something-else)))
--> $20 (#f someting-else)


--=-3RAO43t9s1IhYgGbQFLN
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: This is a digitally signed message part
Content-Transfer-Encoding: 7bit

-----BEGIN PGP SIGNATURE-----

iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYKASjxccbWF4aW1lZGV2
b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7lNAAQDwI9AaKO5VeRZoGcUy4Jm4ia1G
nWdiJ+61rrJsCKo4GQD+PzbtXViguwTsynO/QN5AK9NmHcK0FismAa6QOSGulgg=
=Cuph
-----END PGP SIGNATURE-----

--=-3RAO43t9s1IhYgGbQFLN--

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Maxime Devos <maximedevos@HIDDEN>
Subject: bug#48448: Acknowledgement ('procedure-name' returns #f if name
 is #{}# (the empty symbol))
Message-ID: <handler.48448.B.162110326814662.ack <at> debbugs.gnu.org>
References: <1b56d817814d4d1fa08e70578d4aebac909b0aff.camel@HIDDEN>
X-Gnu-PR-Message: ack 48448
X-Gnu-PR-Package: guile
Reply-To: 48448 <at> debbugs.gnu.org
Date: Sat, 15 May 2021 18:28:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-guile@HIDDEN

If you wish to submit further information on this problem, please
send it to 48448 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
48448: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D48448
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-guile@HIDDEN:

Subject: bug#48448: 'procedure-name' returns #f if name is #{}# (the empty symbol)
Resent-From: Taylan Kammer <taylan.kammer@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Sat, 15 May 2021 23:34:02 +0000
Resent-Message-ID: <handler.48448.B48448.162112160612249 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Maxime Devos <maximedevos@HIDDEN>, 48448 <at> debbugs.gnu.org
References: <1b56d817814d4d1fa08e70578d4aebac909b0aff.camel@HIDDEN>
From: Taylan Kammer <taylan.kammer@HIDDEN>
Message-ID: <1ee0f4ed-5b13-854e-f95c-66bf11cc33d9@HIDDEN>
Date: Sun, 16 May 2021 01:33:00 +0200
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
 Thunderbird/78.10.1
MIME-Version: 1.0
In-Reply-To: <1b56d817814d4d1fa08e70578d4aebac909b0aff.camel@HIDDEN>
Content-Type: text/plain; charset=utf-8
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

On 15.05.2021 20:27, Maxime Devos wrote:
> guile --version: 3.0.5
> In a REPL:
> 
> (let ((#{}# (lambda () 0)) (something-else (lambda () 0)))
>   (map procedure-name (list #{}# something-else)))
> --> $20 (#f someting-else)
> 

The problem seems to be that once the compiler produces bytecode,
there is no distinction anymore between a missing name and a name
that is the empty string.

See the procedure link-symtab in module/system/vm/assembler.scm
line 2345.  For every piece of metadata (this includes the names
of procedures), it puts it into the string table, and conflates
a missing name (name = #f) with the empty string:

  (string-table-intern! strtab (if name (symbol->string name) ""))

I'm guessing that changing this would not be worth the effort,
although this isn't my area of expertise.  (I spent more than an
hour trying to figure out the source of the issue, though it was
a great learning experience.)

One could even argue that if you name a procedure after the empty
string... it has no name, right? ;-)

I'm marking this as a minor bug.

--
Taylan

Message received at control <at> debbugs.gnu.org:

Received: (at control) by debbugs.gnu.org; 15 May 2021 23:34:35 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat May 15 19:34:35 2021
Received: from localhost ([127.0.0.1]:49406 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1li3nn-0003DK-5L
	for submit <at> debbugs.gnu.org; Sat, 15 May 2021 19:34:35 -0400
Received: from mail-ej1-f41.google.com ([209.85.218.41]:40501)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <taylan.kammer@HIDDEN>) id 1li3nm-0003D8-Dv
 for control <at> debbugs.gnu.org; Sat, 15 May 2021 19:34:34 -0400
Received: by mail-ej1-f41.google.com with SMTP id n2so3759206ejy.7
 for <control <at> debbugs.gnu.org>; Sat, 15 May 2021 16:34:34 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025;
 h=to:from:subject:message-id:date:user-agent:mime-version
 :content-language:content-transfer-encoding;
 bh=gE3tQhzpnoWnayfK3+1Qrijl9vcNC/OGNqEMyQgSrws=;
 b=uiLZXShjjh2d2TL09ahoJQgCcAjeNJHdEc5ZSI0dWwxOCD1wlAwNkqnnj0B1i2N12Q
 2YhVIAqd0IJiyQQJ9JbQzPaNgVz47hrKUDPybxpzLsED7vJcFPx7jEWCua+kHpVc2HT7
 I/Iju1jY8w+PfTtBtyuqJLChhtSrlK/0rJkJe6TKrJdN29vb6ZQ6Qq2CHHGdjcY+nHMq
 iMMYtFKXIRGunzWF7ks67JTK/Dfu+OLdb/VVPWnWM0I31aYSk1hNA4TQGBGOXXMuuwBO
 u18lj3CzV5MSsZZMmCIoYKoQUqNYcHwYt1NRJQC94eJJSlm800V31hsm0OOXzkAG/56Q
 qJiA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20161025;
 h=x-gm-message-state:to:from:subject:message-id:date:user-agent
 :mime-version:content-language:content-transfer-encoding;
 bh=gE3tQhzpnoWnayfK3+1Qrijl9vcNC/OGNqEMyQgSrws=;
 b=tEGuk4PttO2U4lnOs5yagBEBhcKoEh+5fQYz/4p2zWiaP7u3RUW3REdyIc4yw0257k
 +gYuhb7AqWFSuuO9N5YLah+6EvitOuuM+QsffrxEES9ZWqaVqgFwX7w98FDkMAJjVZrM
 m45Z5nDx1Z/57IHLpPz00vvo6ABn8JpFvs8TaoQIQsVrlhctbcFjXtCaUBeu/a7G0/RG
 k+/zURggag92GYvca7g0igB6EYG9wOUvPSdkm1sETu24pypMc05lcV5w+rlXS10EjMT5
 0qGIq5XyswYL79KE05hZTwEQD1DseW8vPYNbJhNHocmhCkvDFT7Yn3dxG/7xbj2GAlrS
 4ruA==
X-Gm-Message-State: AOAM532xawvb2TSErb9LXfT0AWth6HJ8+ckzhlm3p8LxjEDZ6dqNJ4tl
 xZLplREPiA99vhj6pc5KOajqnXEgwb8=
X-Google-Smtp-Source: ABdhPJyr9/4Koq2HdmwMT4OuRqm2X/DsZakW3eKehyIi3EkivonrTxJBoOEXqWidhdsgiNkCAMM5Vw==
X-Received: by 2002:a17:907:1181:: with SMTP id
 uz1mr54499620ejb.194.1621121668765; 
 Sat, 15 May 2021 16:34:28 -0700 (PDT)
Received: from [192.168.178.20] (b2b-109-90-125-150.unitymedia.biz.
 [109.90.125.150])
 by smtp.gmail.com with ESMTPSA id j14sm6046288eja.49.2021.05.15.16.34.28
 for <control <at> debbugs.gnu.org>
 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128);
 Sat, 15 May 2021 16:34:28 -0700 (PDT)
To: control <at> debbugs.gnu.org
From: Taylan Kammer <taylan.kammer@HIDDEN>
Subject: 48448 minor
Message-ID: <46feb0f2-4fe4-c635-5ef5-aaf255909f92@HIDDEN>
Date: Sun, 16 May 2021 01:34:27 +0200
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
 Thunderbird/78.10.1
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Language: en-US
Content-Transfer-Encoding: 7bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: control
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

severity 48448 minor

Last modified: Sat, 15 May 2021 23:45:01 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.