GNU bug report logs - #48315
(ice-9 match) does not suport #nil

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.

Package: guile; Reported by: Maxime Devos <maximedevos@HIDDEN>; Keywords: patch; dated Sun, 9 May 2021 15:58:01 UTC; Maintainer for guile is bug-guile@HIDDEN.
Added tag(s) patch. Request was from Taylan Kammer <taylan.kammer@HIDDEN> to control <at> debbugs.gnu.org. Full text available.

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


Received: (at 48315) by debbugs.gnu.org; 12 May 2021 20:04:08 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed May 12 16:04:08 2021
Received: from localhost ([127.0.0.1]:40668 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1lgv5U-0007Gw-91
	for submit <at> debbugs.gnu.org; Wed, 12 May 2021 16:04:08 -0400
Received: from mail-ed1-f46.google.com ([209.85.208.46]:39618)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <taylan.kammer@HIDDEN>) id 1lgv5R-0007GO-7f
 for 48315 <at> debbugs.gnu.org; Wed, 12 May 2021 16:04:07 -0400
Received: by mail-ed1-f46.google.com with SMTP id g14so28544481edy.6
 for <48315 <at> debbugs.gnu.org>; Wed, 12 May 2021 13:04:05 -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;
 bh=kRGl2ewedUTPrXulw5eUzs87YRl3L43NSHKCprq7ils=;
 b=WPjzIR2pM38FR0UTyNa/RBuPyk2j7L9PqjP9W5z4BVLrVs7NmKj/CBZQyJ7Kmduy7P
 euyzrNl/ntPLF3ypKy8urHeIEZaj7nyViC7Z5rHCIMNInkPFcxu8fnviPeKP9QBoTZS3
 tDnNM3xBWPokfEucsYRwaAvviG3M1COB6p5kgOhTGUr66066pHp/ct9MPEEDw9EnkmyR
 YUCqeAb1ydOtduKE6jWZtFrJ5L3cPrqUzy7kw1ZTh9FtS4lOIbKemAmRGRcMLbv5Pe7Q
 uURpyLcR056/FVEBHr/oAeGXpF0f66voFW4DmjiNk6gmICqBmxXQt+DRhvttsf0M2BIY
 0FSA==
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;
 bh=kRGl2ewedUTPrXulw5eUzs87YRl3L43NSHKCprq7ils=;
 b=iUiFPCBLITKh9Vu5PCnohZqCYzn7JcNn8K2m7zejEVK4VXOIz0Nz/AG1f9TxnI94rI
 hSTv+QggTeJ6tFq7gUN2voqNqeSY1a1t8/IKc1kCoU9Qm/2LAyRdGPAygj4N+i9+Z5Ac
 MZnhsaXZ6QyUq92sjFp9Aek1L1Q57is4uLmyQSItAB7olN4YKgqy+b5nVul+5a+vEbk9
 G3jC3uOF1d47qvgqzKtrMB6rOdvGkmcaTzbrckioGAZXe/ACkkqHKISc9I4964XVnQ0P
 8kmptxin/JPD5jjdY6xuCKXlhpaAWQo4UWv8izp/qsLpe25QwATzHgzb0yUQtErG/lhe
 dv6g==
X-Gm-Message-State: AOAM533or54eI50angEJmk8Ig+nzHiNVCQUL9n7B3xvLp69JrkZENXRt
 bsauHk0oJimwz43Q3gdRcBjAJodH1Ng=
X-Google-Smtp-Source: ABdhPJyUttBDK533Sz8Sb5DAW8Krqb+q559dkbf1x2NeMZWv4SsKwhw4FQkLvbwUJKlVVD14hLubFw==
X-Received: by 2002:aa7:ccc4:: with SMTP id y4mr44781346edt.171.1620849839376; 
 Wed, 12 May 2021 13:03:59 -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 kx3sm478558ejc.44.2021.05.12.13.03.58
 for <48315 <at> debbugs.gnu.org>
 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128);
 Wed, 12 May 2021 13:03:59 -0700 (PDT)
To: 48315 <at> debbugs.gnu.org
From: Taylan Kammer <taylan.kammer@HIDDEN>
Subject: (ice-9 match) does not suport #nil
Message-ID: <7cb7ec76-655c-e55a-17a6-99d25b3926d1@HIDDEN>
Date: Wed, 12 May 2021 22:03:57 +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: multipart/mixed; boundary="------------325E07C2B222F16409C90863"
Content-Language: en-US
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 48315
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 (-)

This is a multi-part message in MIME format.
--------------325E07C2B222F16409C90863
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit

This was mind-boggling to debug!

In syntax-rules, the pattern (x ...) will match #nil, since it
matches the empty list.  This can have surprising consequences.

Consider:

  (define-syntax test
    (syntax-rules ()
      ((test (x ...))
       (x ...))
      ((test x)
       x)))

  (test (+ 1 2))  ; => 3
  (test 123)      ; => 123
  (test #f)       ; => #f
  ;; However...
  (test #nil)     ; error


Anyway, attached is a patch to fix the issue in match.


- Taylan

--------------325E07C2B222F16409C90863
Content-Type: text/plain; charset=UTF-8;
 name="0001-Fix-match-when-used-directly-on-the-nil-constant.patch"
Content-Transfer-Encoding: base64
Content-Disposition: attachment;
 filename*0="0001-Fix-match-when-used-directly-on-the-nil-constant.patch"

RnJvbSBiNmQwYjcxNWE4YmYwY2MzOWI5ZmMzZDQ2ZWZlYWYwMTBmMGQ0MzUxIE1vbiBTZXAg
MTcgMDA6MDA6MDAgMjAwMQpGcm9tOiBUYXlsYW4gS2FtbWVyIDx0YXlsYW4ua2FtbWVyQGdt
YWlsLmNvbT4KRGF0ZTogV2VkLCAxMiBNYXkgMjAyMSAyMTo0Njo1NCArMDIwMApTdWJqZWN0
OiBbUEFUQ0hdIEZpeCBtYXRjaCB3aGVuIHVzZWQgZGlyZWN0bHkgb24gdGhlICNuaWwgY29u
c3RhbnQuCgoqIG1vZHVsZS9pY2UtOS9tYXRjaC51cHN0cmVhbS5zY20gKG1hdGNoKTogTWFr
ZSBzdXJlIHdlIGRvbid0IG1hdGNoICNuaWwKd2hlcmUgd2UgZG9uJ3QgaW50ZW5kIHRvLgoK
Rml4ZXMgPGh0dHBzOi8vYnVncy5nbnUub3JnLzQ4MzE1Pi4KLS0tCiBtb2R1bGUvaWNlLTkv
bWF0Y2gudXBzdHJlYW0uc2NtIHwgOSArKysrKystLS0KIDEgZmlsZSBjaGFuZ2VkLCA2IGlu
c2VydGlvbnMoKyksIDMgZGVsZXRpb25zKC0pCgpkaWZmIC0tZ2l0IGEvbW9kdWxlL2ljZS05
L21hdGNoLnVwc3RyZWFtLnNjbSBiL21vZHVsZS9pY2UtOS9tYXRjaC51cHN0cmVhbS5zY20K
aW5kZXggYjFmYzM3MWI4Li4zYjE4MWI3NWIgMTAwNjQ0Ci0tLSBhL21vZHVsZS9pY2UtOS9t
YXRjaC51cHN0cmVhbS5zY20KKysrIGIvbW9kdWxlL2ljZS05L21hdGNoLnVwc3RyZWFtLnNj
bQpAQCAtMjY5LDkgKzI2OSwxMiBAQAogICAgICAobWF0Y2gtc3ludGF4LWVycm9yICJtaXNz
aW5nIG1hdGNoIGV4cHJlc3Npb24iKSkKICAgICAoKG1hdGNoIGF0b20pCiAgICAgIChtYXRj
aC1zeW50YXgtZXJyb3IgIm5vIG1hdGNoIGNsYXVzZXMiKSkKLSAgICAoKG1hdGNoIChhcHAg
Li4uKSAocGF0IC4gYm9keSkgLi4uKQotICAgICAobGV0ICgodiAoYXBwIC4uLikpKQotICAg
ICAgIChtYXRjaC1uZXh0IHYgKChhcHAgLi4uKSAoc2V0ISAoYXBwIC4uLikpKSAocGF0IC4g
Ym9keSkgLi4uKSkpCisgICAgOzsgVGhlIG9yaWdpbmFsIGltcGxlbWVudGF0aW9uIHVzZXMg
KGFwcCAuLi4pIG5vdCAob3AgYXJnIC4uLikgaGVyZSwKKyAgICA7OyBidXQgaW4gR3VpbGUg
dGhpcyB3b3VsZCBtYXRjaCAjbmlsIHdoZW4gaXQgc2hvdWxkbid0LiAgRmFpbGluZyB0bwor
ICAgIDs7IG1hdGNoICgpIGRvZXNuJ3QgbWF0dGVyIHNpbmNlIGl0IGxlYWRzIHRvIGFuIGVy
cm9yIGFueXdheS4KKyAgICAoKG1hdGNoIChvcCBhcmcgLi4uKSAocGF0IC4gYm9keSkgLi4u
KQorICAgICAobGV0ICgodiAob3AgYXJnIC4uLikpKQorICAgICAgIChtYXRjaC1uZXh0IHYg
KChvcCBhcmcgLi4uKSAoc2V0ISAob3AgYXJnIC4uLikpKSAocGF0IC4gYm9keSkgLi4uKSkp
CiAgICAgKChtYXRjaCAjKHZlYyAuLi4pIChwYXQgLiBib2R5KSAuLi4pCiAgICAgIChsZXQg
KCh2ICModmVjIC4uLikpKQogICAgICAgIChtYXRjaC1uZXh0IHYgKHYgKHNldCEgdikpIChw
YXQgLiBib2R5KSAuLi4pKSkKLS0gCjIuMzAuMgoK
--------------325E07C2B222F16409C90863--




Information forwarded to bug-guile@HIDDEN:
bug#48315; Package guile. Full text available.

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


Received: (at submit) by debbugs.gnu.org; 9 May 2021 15:57:58 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun May 09 11:57:58 2021
Received: from localhost ([127.0.0.1]:55989 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1lfloc-00010s-B5
	for submit <at> debbugs.gnu.org; Sun, 09 May 2021 11:57:58 -0400
Received: from lists.gnu.org ([209.51.188.17]:47952)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <maximedevos@HIDDEN>) id 1lfloX-00010i-Bo
 for submit <at> debbugs.gnu.org; Sun, 09 May 2021 11:57:56 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10]:49970)
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <maximedevos@HIDDEN>)
 id 1lfloW-0001ez-PS
 for bug-guile@HIDDEN; Sun, 09 May 2021 11:57:53 -0400
Received: from laurent.telenet-ops.be ([2a02:1800:110:4::f00:19]:47156)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.90_1) (envelope-from <maximedevos@HIDDEN>)
 id 1lfloU-0005nw-Mc
 for bug-guile@HIDDEN; Sun, 09 May 2021 11:57:52 -0400
Received: from butterfly.local ([213.251.116.230])
 by laurent.telenet-ops.be with bizsmtp
 id 2fxm250094yL7Jl01fxnte; Sun, 09 May 2021 17:57:47 +0200
Message-ID: <08150bbff14abca3fe8e518ea3bc758c5f492fe1.camel@HIDDEN>
Subject: (ice-9 match) does not suport #nil
From: Maxime Devos <maximedevos@HIDDEN>
To: bug-guile@HIDDEN
Date: Sun, 09 May 2021 17:57:41 +0200
Content-Type: multipart/signed; micalg="pgp-sha512";
 protocol="application/pgp-signature"; boundary="=-LKPrJoczsIGnLbrFrmMX"
User-Agent: Evolution 3.34.2 
MIME-Version: 1.0
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r21;
 t=1620575867; bh=EOXRpkd0M6kaLmvm+BmFaRnWarFM53M7PinTjsdB+yk=;
 h=Subject:From:To:Date;
 b=byxcLsXWLhFRxD2+XDQQtB3nk7El1Wm3gVDhRE5nccnUvdEX7KtpHwrc/iu9YAhqI
 UKhUyd2Ds6Bp/zbvqLq4NA/cAtQ7wIrwlH3GUvOaH7IPohvafQVBS6dgtIR/IjbIPA
 b+xknefVn5jq4wmXfUxTJ7pXLxeszdn6GH+hVXWRsAbqMhVJRCRCY39HeMCE7ba5z6
 WbFEVUac8QGE23FIxow7N/Nhp15X30Fk91p61loh01lZKJimdS6eMEnsHFHghD1WF8
 upUoocVrjaAE3BwDt0G4ETxX9kXq5vjNyLwyqW/KkSGr4OicmHmn4tRM1B56Wf8RZE
 ux72JWjZ+dREA==
Received-SPF: pass client-ip=2a02:1800:110:4::f00:19;
 envelope-from=maximedevos@HIDDEN; helo=laurent.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-Debbugs-Envelope-To: submit
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 (--)


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

guile --version:
guile (GNU Guile) 3.0.5

(use-modules (ice-9 match))

(match #nil (_ 'xyzzy))
-->
While compiling expression:
Syntax error:
unknown location: unexpected syntax in form ()

(match '() (_ 'xyzzy))
--> $16 =3D xyzzy

Greetings,
Maxime.

--=-LKPrJoczsIGnLbrFrmMX
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+4iGRcl7gUCYJgGdRccbWF4aW1lZGV2
b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7mKhAQCplG5K3YIAXI8QeSNHgObLxPLc
imm+aKF8Im4XKoY0eQEA2qhD5VevMVetEwUfULkFQwaKVRfRXPTBpeiZdcqWSQo=
=H+jD
-----END PGP SIGNATURE-----

--=-LKPrJoczsIGnLbrFrmMX--





Acknowledgement sent to Maxime Devos <maximedevos@HIDDEN>:
New bug report received and forwarded. Copy sent to bug-guile@HIDDEN. Full text available.
Report forwarded to bug-guile@HIDDEN:
bug#48315; Package guile. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Last modified: Sat, 15 May 2021 18:00:02 UTC

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