From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: =?UTF-8?Q?Cl=C3=A9ment?= Pit--Claudel Newsgroups: gmane.emacs.bugs Subject: bug#25558: Spurious warnings with variables mentioned only pcase guard patterns Date: Fri, 27 Jan 2017 19:14:54 -0500 Message-ID: NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="vuxAnnbJdUvDjFLSLd8vhXRg4LOT0IDaA" X-Trace: blaine.gmane.org 1485562576 7780 195.159.176.226 (28 Jan 2017 00:16:16 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 28 Jan 2017 00:16:16 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.5.1 To: 25558@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Sat Jan 28 01:16:11 2017 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cXGga-0001HD-CZ for geb-bug-gnu-emacs@m.gmane.org; Sat, 28 Jan 2017 01:16:08 +0100 Original-Received: from localhost ([::1]:49399 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cXGgd-0004ST-7d for geb-bug-gnu-emacs@m.gmane.org; Fri, 27 Jan 2017 19:16:11 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:59163) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cXGgY-0004SL-1P for bug-gnu-emacs@gnu.org; Fri, 27 Jan 2017 19:16:06 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cXGgU-0004R6-Tj for bug-gnu-emacs@gnu.org; Fri, 27 Jan 2017 19:16:06 -0500 Original-Received: from debbugs.gnu.org ([208.118.235.43]:50475) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1cXGgU-0004R0-QE for bug-gnu-emacs@gnu.org; Fri, 27 Jan 2017 19:16:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1cXGgU-00086Q-L5 for bug-gnu-emacs@gnu.org; Fri, 27 Jan 2017 19:16:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: =?UTF-8?Q?Cl=C3=A9ment?= Pit--Claudel Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 28 Jan 2017 00:16:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 25558 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.148556251631081 (code B ref -1); Sat, 28 Jan 2017 00:16:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 28 Jan 2017 00:15:16 +0000 Original-Received: from localhost ([127.0.0.1]:48674 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cXGfk-00085F-IF for submit@debbugs.gnu.org; Fri, 27 Jan 2017 19:15:16 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:39864) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cXGfi-000852-9I for submit@debbugs.gnu.org; Fri, 27 Jan 2017 19:15:15 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cXGfc-0004Fz-EH for submit@debbugs.gnu.org; Fri, 27 Jan 2017 19:15:09 -0500 Original-Received: from lists.gnu.org ([2001:4830:134:3::11]:55323) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cXGfc-0004Fm-BI for submit@debbugs.gnu.org; Fri, 27 Jan 2017 19:15:08 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:59068) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cXGfb-0004Me-GD for bug-gnu-emacs@gnu.org; Fri, 27 Jan 2017 19:15:08 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cXGfY-0004DX-DX for bug-gnu-emacs@gnu.org; Fri, 27 Jan 2017 19:15:07 -0500 Original-Received: from mout.kundenserver.de ([212.227.126.187]:64412) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cXGfY-0004DK-2L for bug-gnu-emacs@gnu.org; Fri, 27 Jan 2017 19:15:04 -0500 Original-Received: from [18.111.113.197] ([18.111.113.197]) by mrelayeu.kundenserver.de (mreue002 [212.227.15.168]) with ESMTPSA (Nemesis) id 0M8FCE-1cJKMB15Nq-00vtGS for ; Sat, 28 Jan 2017 01:15:01 +0100 X-Provags-ID: V03:K0:kBtM0yzuXA6aHd/LjLwjbqJzCMqotg8Sz95KBtnhiFE4/LNo8oM B9PBbF+qEMwnonicHeaKSssOtSD/8vsoetWMU1e/yFhPDTbenO0nge9Lk5WjQUKqBXZYfGc /2mFvDCBPtAp01YHXbHhckeO7XDR5zbTOgoJQq/PWdpAb7lazol7r5eIyyThi4hQMCUEJ7U nhtwjVq1lG1pfxZmpNV2g== X-UI-Out-Filterresults: notjunk:1;V01:K0:O3ledpgusc0=:PonUCID4jiy/GoeoPHhfYj TiR72wHXVPPM2I7GeILZH4i9Qe4lo0/PYJrjcUUfkzdNBvhS//GFVgjlrF8ha4KjSTrlUI+4E CSBbTfLBh8kpD1x9e5rdJYkKelt2MpGxpU/+N6xDcSr1jhHilOo5spt/R7692DaZzd7+MRQz5 BILJeP3Qn/0b5XTEq+5BXatigZ8DW2CBZhIPdG4qULW2Y7X9Px+QR8VGUt0LnlLtb8YulJdUR wu7yOa7AM8140iKUpQTNPwBycjV1SywDf/12ZeGW/UqTn1u6v0RtXUro1VY9oJweRTStyKxLy djXRWaKQ7L+GOE0wejPO/xk6Sxcm8hXGvGM3Lj5qOMwhSFv8atstfx2AOvidpN0sDvZYI7eKV at8aKfX5dWaMS2mS14WjSFftntoEq7HFNCmHFWdq0EvQjTJ++hG3rEjZayGWIEcRn1l521j9p 0gVJVzyOzSak/Dd5GYSgn81V72kqThxy4w/oI9uTs2vYghALqEjQNASmqtjM4nMOe4AahmgFC tOG7ZRAh0jJNna1BHLiLlClXmrE6TMJqNifMxAmKcJvVgD/kJprry8Wdlh1xXgQXi0gAayFgq rfo8Dt2hWwik63E2w/VP8Q5LxSQqSZiVDkumNNYKGppdD9iIZdqlp4jDcCmAUzUuzUMBNSmNV HsNdpZmOsQQeHopsVdcvY7Od0MW1ny2SYAFQ7dibtAdroIvGXONvU+jtJa86LcvtU/9I= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x 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-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.org gmane.emacs.bugs:128700 Archived-At: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --vuxAnnbJdUvDjFLSLd8vhXRg4LOT0IDaA Content-Type: multipart/mixed; boundary="HUU8KFua6PPsIUAfOJNFvliNIWioOsFEn"; protected-headers="v1" From: =?UTF-8?Q?Cl=c3=a9ment_Pit--Claudel?= To: bug-gnu-emacs@gnu.org Message-ID: Subject: Spurious warnings with variables mentioned only pcase guard patterns --HUU8KFua6PPsIUAfOJNFvliNIWioOsFEn Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable The following causes a warning (unused variable 'b'): (pcase '(1 2) ((and `(,a ,b) (guard (equal a b))) a)) This is due to pcase let-binding 'a' twice; once around the guard test ('= (equal a b)'), and once around the body ('a'). --HUU8KFua6PPsIUAfOJNFvliNIWioOsFEn-- --vuxAnnbJdUvDjFLSLd8vhXRg4LOT0IDaA Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJYi+J+AAoJEPqg+cTm90wjueIP/2lgv5vPXtUJohsn+WwQAjnL 8jxwgONEUpgs+BLpI4L7+15a6lIfxkhQvv0pRbqBIJRGfWywYHesFPITgYN3shbW u2kGtCVUsT5umCh6FoJIDPamUNEF+3d/u3SEUrhB9XDbzpemqF/mDTaKFKg+0biL Z8FeM7GmQAv9/CB/natRRB/pi326XmNyO7i/hi7ZC9QhwYjK9XoZPG0ejPGsNw6e +nVBkwlfXwicqMHnNUHqTxNdcmTOh8S1lg6ZRsJ67YoZtsCaxbntaBVRSKaz2V3r SGsdy+C0xD7q9Mji2SnaohTA1TMIiv641QPNmLTjvbLeBg99C38E+Bm8iG/jIZgv NFmMcSn74Z2mkEiU5jzn79acmsSuebE2QWVf46Sys46nkKwluoP8NbhEZ+3708wL aJblwHvbiYhwvwpkHuTbw2qdRPwE4dR1UATyag59PlRPcerSXvx2rNYUGltrldFS DBCJXbaHSi94zB5oUffnsCcvgFiHRzYLEG9S5wk1dgvoV9jPRKOz9YcqSoZ0EDIP 9Ukj7TkMypN6vx9NMlvgV4Z5NEGZOIdrdZgwNI6yyynSpwLx8fwq+AmvMoAy6FIO jd9Yr6jUfLNcV+/PM5EIvLLP5+k5nrsUH0DUzhE5/wOEwAlNPbA19XTY1ue39aKQ LM2xo8I3wbzxtqj7RbV1 =B9oC -----END PGP SIGNATURE----- --vuxAnnbJdUvDjFLSLd8vhXRg4LOT0IDaA--