From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Mark H Weaver Newsgroups: gmane.lisp.guile.bugs Subject: bug#38236: R7RS reader does not support datum labels Date: Mon, 18 Nov 2019 10:10:30 -0500 Message-ID: <87ftil5if2.fsf@netris.org> References: <87pnhrmtrc.fsf@pobox.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="240563"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) Cc: 38236@debbugs.gnu.org To: Andy Wingo Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Mon Nov 18 16:12:13 2019 Return-path: Envelope-to: guile-bugs@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 1iWihI-0010S0-CD for guile-bugs@m.gmane.org; Mon, 18 Nov 2019 16:12:12 +0100 Original-Received: from localhost ([::1]:35402 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iWihH-0003iB-63 for guile-bugs@m.gmane.org; Mon, 18 Nov 2019 10:12:11 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:35012) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iWih9-0003Zs-7C for bug-guile@gnu.org; Mon, 18 Nov 2019 10:12:05 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iWih7-00051u-VY for bug-guile@gnu.org; Mon, 18 Nov 2019 10:12:03 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:37230) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iWih7-00051X-S7 for bug-guile@gnu.org; Mon, 18 Nov 2019 10:12:01 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iWih7-0000oI-Kl for bug-guile@gnu.org; Mon, 18 Nov 2019 10:12:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Mark H Weaver Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Mon, 18 Nov 2019 15:12:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 38236 X-GNU-PR-Package: guile Original-Received: via spool by 38236-submit@debbugs.gnu.org id=B38236.15740899053090 (code B ref 38236); Mon, 18 Nov 2019 15:12:01 +0000 Original-Received: (at 38236) by debbugs.gnu.org; 18 Nov 2019 15:11:45 +0000 Original-Received: from localhost ([127.0.0.1]:46051 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iWigp-0000nl-SK for submit@debbugs.gnu.org; Mon, 18 Nov 2019 10:11:45 -0500 Original-Received: from world.peace.net ([64.112.178.59]:33642) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iWign-0000na-B4 for 38236@debbugs.gnu.org; Mon, 18 Nov 2019 10:11:41 -0500 Original-Received: from mhw by world.peace.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1iWigl-0003QM-Em; Mon, 18 Nov 2019 10:11:39 -0500 In-Reply-To: <87pnhrmtrc.fsf@pobox.com> (Andy Wingo's message of "Sat, 16 Nov 2019 21:49:27 +0100") 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: 209.51.188.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:9453 Archived-At: Hi Andy, Andy Wingo writes: > R7RS defines a lexical feature called "datum labels"; see section 2.4 in > the report. An example would be: > > #0=(a b c . #0#) > > Guile's reader doesn't support this feature and it's not clear if we > should, in general. FYI, I already implemented R7RS datum labels on the 'r7rs-wip' branch (not to be confused with your new 'wip-r7rs' branch): https://git.savannah.gnu.org/cgit/guile.git/commit/?h=r7rs-wip&id=92408ac20e921583b8e4ee26463dc5805ef01153 It depends on the preceding commit on the same branch: https://git.savannah.gnu.org/cgit/guile.git/commit/?h=r7rs-wip&id=f687871eceb94bded109569880e696d8862d84fd There was also a later commit on that branch that enabled compilation of cyclic literals, but it's no longer applicable to the 'master' branch. > Note, datum literals appear to be incompatible with array literals. Can you elaborate on why you believe they're incompatible? I haven't looked closely in a while, but I didn't see any incompatibility when I implemented this before. Datum labels have '#' or '=' after the numeral, and I'm not aware of any Guile array syntax that does. I'm also a bit puzzled why you're apparently planning to rewrite everything I already did on the 'r7rs-wip' branch. The main issue on that branch is that the implementation of *writing* cyclic data turned out to be a mess, but it could be removed or replaced without affecting much else. Mark