From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Andy Wingo Newsgroups: gmane.lisp.guile.bugs Subject: bug#38236: R7RS reader does not support datum labels Date: Mon, 18 Nov 2019 19:35:56 +0100 Message-ID: <87sgmlkp6b.fsf@pobox.com> References: <87pnhrmtrc.fsf@pobox.com> <87ftil5if2.fsf@netris.org> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="61637"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux) Cc: 38236@debbugs.gnu.org To: Mark H Weaver Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Mon Nov 18 19:37:17 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 1iWltf-000FmE-Cy for guile-bugs@m.gmane.org; Mon, 18 Nov 2019 19:37:16 +0100 Original-Received: from localhost ([::1]:38126 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iWltd-0005DK-I2 for guile-bugs@m.gmane.org; Mon, 18 Nov 2019 13:37:09 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:39600) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iWltX-0005D0-3j for bug-guile@gnu.org; Mon, 18 Nov 2019 13:37:04 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iWltV-00076a-Vg for bug-guile@gnu.org; Mon, 18 Nov 2019 13:37:03 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:37422) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iWltV-00076R-SW for bug-guile@gnu.org; Mon, 18 Nov 2019 13:37:01 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iWltV-0000Ou-NZ for bug-guile@gnu.org; Mon, 18 Nov 2019 13:37:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Andy Wingo Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Mon, 18 Nov 2019 18:37: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.15741021931507 (code B ref 38236); Mon, 18 Nov 2019 18:37:01 +0000 Original-Received: (at 38236) by debbugs.gnu.org; 18 Nov 2019 18:36:33 +0000 Original-Received: from localhost ([127.0.0.1]:46243 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iWlt3-0000OE-DT for submit@debbugs.gnu.org; Mon, 18 Nov 2019 13:36:33 -0500 Original-Received: from fanzine.igalia.com ([178.60.130.6]:57311) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iWlsy-0000Nf-AF for 38236@debbugs.gnu.org; Mon, 18 Nov 2019 13:36:31 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=igalia.com; s=20170329; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date:References:Subject:Cc:To:From; bh=S/9G3Ba3zUQ49M49xmSoijUxG6auHgBluwy3IsETCh8=; b=Wn8Yspkduv7ifDe92t78ZMGhubCTJ7xMp09guVOaROCLqf54t7ckVuBEMYLc4G+BJ4GKgPh/mzq2o3uXjq6BJYe8ldoudpB7LfveYu4nZmGRAZGGDkQx2X7U7u7bvgpK4D8njVs5SqmC0q5mkT/gUV5CxnFb59JWVt6Z8N2j7tJre/UT3ZHu9/V1OmCY2na9Suw3xtuKzoloQ60yo6La42T8CSqN5DLsEJ6gDxATN1FnYb1kgueXSjy6WUvtesaBtsOoJg9wRbLr75ia+pppDap4seSgmhVT+0vqDYJ2rbGQ/R0VCUzCbNmLdXvnkxD2piL3hn+thYg0tfTPc+MI+g==; Original-Received: from cha74-2-88-160-189-213.fbx.proxad.net ([88.160.189.213] helo=sparrow) by fanzine.igalia.com with esmtpsa (Cipher TLS1.0:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim) id 1iWlsq-0002eq-8o; Mon, 18 Nov 2019 19:36:20 +0100 In-Reply-To: <87ftil5if2.fsf@netris.org> (Mark H. Weaver's message of "Mon, 18 Nov 2019 10:10:30 -0500") 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:9454 Archived-At: Hey! On Mon 18 Nov 2019 16:10, Mark H Weaver writes: > 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. Neat! I had entirely forgotten about this 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 was wrong. Thanks for the correction! > 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. I had totally forgotten about it. I am surprised no one on #guile brought it up either when I was discussing this work! As you can see, the the writing implementation currently uses srfi-38. For what it's worth, I do not have future plans to work on R7RS -- I just wanted --r7rs so that I could have an easy way to benchmark against other Scheme systems. A strange reason, admittedly! Andy