From unknown Sat Jun 21 10:31:45 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#13678 <13678@debbugs.gnu.org> To: bug#13678 <13678@debbugs.gnu.org> Subject: Status: 24.2.93; pcase: mention list-like QPatterns in the doc Reply-To: bug#13678 <13678@debbugs.gnu.org> Date: Sat, 21 Jun 2025 17:31:45 +0000 retitle 13678 24.2.93; pcase: mention list-like QPatterns in the doc reassign 13678 emacs submitter 13678 michael_heerdegen@web.de severity 13678 minor thanks From debbugs-submit-bounces@debbugs.gnu.org Sun Feb 10 12:48:20 2013 Received: (at submit) by debbugs.gnu.org; 10 Feb 2013 17:48:20 +0000 Received: from localhost ([127.0.0.1]:49287 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1U4b0m-00005S-9g for submit@debbugs.gnu.org; Sun, 10 Feb 2013 12:48:20 -0500 Received: from eggs.gnu.org ([208.118.235.92]:38604) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1U4b0j-00005K-5e for submit@debbugs.gnu.org; Sun, 10 Feb 2013 12:48:18 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1U4b0S-0007dC-Cv for submit@debbugs.gnu.org; Sun, 10 Feb 2013 12:48:01 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-101.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, RCVD_IN_DNSWL_NONE, RP_MATCHES_RCVD, USER_IN_WHITELIST autolearn=unavailable version=3.3.2 Received: from lists.gnu.org ([208.118.235.17]:36923) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U4b0S-0007d4-9O for submit@debbugs.gnu.org; Sun, 10 Feb 2013 12:48:00 -0500 Received: from eggs.gnu.org ([208.118.235.92]:49965) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U4b0O-0001rx-Ku for bug-gnu-emacs@gnu.org; Sun, 10 Feb 2013 12:48:00 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1U4b0N-0007cX-Iv for bug-gnu-emacs@gnu.org; Sun, 10 Feb 2013 12:47:56 -0500 Received: from mout.web.de ([212.227.15.4]:58443) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U4b0N-0007cR-92 for bug-gnu-emacs@gnu.org; Sun, 10 Feb 2013 12:47:55 -0500 Received: from drachen.dragon ([92.74.177.220]) by smtp.web.de (mrweb003) with ESMTPA (Nemesis) id 0LzKJV-1UzKMy3WAT-0149Vg for ; Sun, 10 Feb 2013 18:47:53 +0100 From: Michael Heerdegen To: bug-gnu-emacs@gnu.org Subject: 24.2.93; pcase: mention list-like QPatterns in the doc Date: Sun, 10 Feb 2013 18:49:33 +0100 Message-ID: <87d2w8xdn6.fsf@web.de> MIME-Version: 1.0 Content-Type: text/plain X-Provags-ID: V02:K0:SjQCtORwqRjR5dpoTIe0CoxBYHnBCEKD2FNjZKHx+V2 M5etO8zrBLXP0hOwRKNJAivhfYE2sr9/O9lRtyhbPNDI6ySvJD DmeH/S8kOk1YzM/L5bLAPgVI9arhfh30qGm9NgUuBK2kC/wo93 dDcmGmFG/wslYgrFccujmVFLHqar0bx2D5lsXipnQMu6Mz4lt7 WK2xgb33Myqa5lemLGUtIzPug22a0rBwPHAuhO2Bds= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.4.x-2.6.x [generic] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 208.118.235.17 X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list Reply-To: michael_heerdegen@web.de List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -6.9 (------) Hi, due to the doc of `pcase' (similarly in the manual), this is the list of forms that is valid as a QPattern: ,---------------------------------------------------------------------- | QPatterns can take the following forms: | (QPAT1 . QPAT2) matches if QPAT1 matches the car and QPAT2 the cdr. | ,UPAT matches if the UPattern UPAT matches. | STRING matches if the object is `equal' to STRING. | ATOM matches if the object is `eq' to ATOM. `---------------------------------------------------------------------- I think it should also mention list-like patterns (without dot): (QPat1 ...QPatn) matches any n-element list were each element matches the according QPattern Sure, `(QPAT1 . QPAT2)' also matches lists - but `(QPAT1 . QPAT2)' and `(QPat1 ...QPatn)' are different forms (expressions) (although those expressions could match equal values), so IMHO both should be mentioned. Thanks, Michael. In GNU Emacs 24.2.93.1 (x86_64-unknown-linux-gnu, GTK+ Version 2.24.10) of 2013-02-09 on drachen Bzr revision: cyd@gnu.org-20130209044342-t2b063zu2fqy8nud Windowing system distributor `The X.Org Foundation', version 11.0.10707000 System Description: Debian GNU/Linux 7.0 (wheezy) Configured using: `configure '--prefix=/usr/local/built/'' From debbugs-submit-bounces@debbugs.gnu.org Sun Feb 10 20:44:20 2013 Received: (at 13678) by debbugs.gnu.org; 11 Feb 2013 01:44:20 +0000 Received: from localhost ([127.0.0.1]:49598 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1U4iRP-0005du-P3 for submit@debbugs.gnu.org; Sun, 10 Feb 2013 20:44:20 -0500 Received: from ironport2-out.teksavvy.com ([206.248.154.182]:57151) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1U4iRO-0005do-4M for 13678@debbugs.gnu.org; Sun, 10 Feb 2013 20:44:18 -0500 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av8EABK/CFFFpZnt/2dsb2JhbABEuzWDWRdzgh4BAQQBViMFCws0EhQYDSSIHgbBLZEKA4hhnBmBXoMV X-IPAS-Result: Av8EABK/CFFFpZnt/2dsb2JhbABEuzWDWRdzgh4BAQQBViMFCws0EhQYDSSIHgbBLZEKA4hhnBmBXoMV X-IronPort-AV: E=Sophos;i="4.84,565,1355115600"; d="scan'208";a="938567" Received: from 69-165-153-237.dsl.teksavvy.com (HELO pastel.home) ([69.165.153.237]) by ironport2-out.teksavvy.com with ESMTP/TLS/ADH-AES256-SHA; 10 Feb 2013 20:43:59 -0500 Received: by pastel.home (Postfix, from userid 20848) id 17D44594D4; Sun, 10 Feb 2013 20:43:58 -0500 (EST) From: Stefan Monnier To: Michael Heerdegen Subject: Re: bug#13678: 24.2.93; pcase: mention list-like QPatterns in the doc Message-ID: References: <87d2w8xdn6.fsf@web.de> Date: Sun, 10 Feb 2013 20:43:57 -0500 In-Reply-To: <87d2w8xdn6.fsf@web.de> (Michael Heerdegen's message of "Sun, 10 Feb 2013 18:49:33 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.8 (/) X-Debbugs-Envelope-To: 13678 Cc: 13678@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -0.0 (/) > Sure, `(QPAT1 . QPAT2)' also matches lists - but `(QPAT1 . QPAT2)' and > `(QPat1 ...QPatn)' are different forms (expressions) Actually, no, they are identical: (QPAT1 QPAT2 QPAT3) is indistinguishable from (QPAT1 . (QPAT2 . (QPAT3 . nil))) the equivalence between the two is imposed by the reader, long before we know that these things will be "patterns in a pcase" rather than expressions, or data in a quoted thingy, ... Stefan From debbugs-submit-bounces@debbugs.gnu.org Mon Feb 11 08:36:47 2013 Received: (at submit) by debbugs.gnu.org; 11 Feb 2013 13:36:47 +0000 Received: from localhost ([127.0.0.1]:50170 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1U4tYq-0007hY-6T for submit@debbugs.gnu.org; Mon, 11 Feb 2013 08:36:46 -0500 Received: from eggs.gnu.org ([208.118.235.92]:49459) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1U4tYk-0007hL-Ro for submit@debbugs.gnu.org; Mon, 11 Feb 2013 08:36:40 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1U4tYL-00084Z-Ll for submit@debbugs.gnu.org; Mon, 11 Feb 2013 08:36:18 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-101.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, RCVD_IN_DNSWL_NONE, RP_MATCHES_RCVD, USER_IN_WHITELIST autolearn=unavailable version=3.3.2 Received: from lists.gnu.org ([208.118.235.17]:41061) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U4tYL-00084T-Ic for submit@debbugs.gnu.org; Mon, 11 Feb 2013 08:36:13 -0500 Received: from eggs.gnu.org ([208.118.235.92]:60786) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U4tYK-00006z-IN for bug-gnu-emacs@gnu.org; Mon, 11 Feb 2013 08:36:13 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1U4tYI-00083u-VA for bug-gnu-emacs@gnu.org; Mon, 11 Feb 2013 08:36:12 -0500 Received: from mout.web.de ([212.227.17.11]:51172) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U4tYI-00083e-MP for bug-gnu-emacs@gnu.org; Mon, 11 Feb 2013 08:36:10 -0500 Received: from drachen.dragon ([92.74.177.220]) by smtp.web.de (mrweb102) with ESMTPA (Nemesis) id 0MGRZc-1U9F9M35g8-00Dk7k; Mon, 11 Feb 2013 14:36:09 +0100 From: Michael Heerdegen To: bug-gnu-emacs@gnu.org Subject: Re: bug#13678: 24.2.93; pcase: mention list-like QPatterns in the doc References: <87d2w8xdn6.fsf@web.de> Date: Mon, 11 Feb 2013 14:37:48 +0100 In-Reply-To: (Stefan Monnier's message of "Sun, 10 Feb 2013 20:43:57 -0500") Message-ID: <87fw13dl8z.fsf@web.de> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.2.93 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Provags-ID: V02:K0:JsCY2vrHsumVpVElvc6q5PHy5WUbiP+d3tWcuvuEV/b 3pLK/1zJOMrI0uFnOlRI+c17PPJ+6mgAZrFcxU8mnXqfYdc1Nn FHrlY3h9Hf5IMA5hmU7Wyg+trOP6CmxNLZig8qZ+0yrvH+FUj9 Dw/Q4E6Yl+fKwIx41jjd1yjrFZOPIGYeU/2bSNJpJH4GaKG0S/ A81Go7rTlTYMU9uFPKw2UdrB7BNQ/qrEJv+pAaCLGQ= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.4.x-2.6.x [generic] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 208.118.235.17 X-Spam-Score: -4.2 (----) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -5.5 (-----) Hi Stefan, > > Sure, `(QPAT1 . QPAT2)' also matches lists - but `(QPAT1 . QPAT2)' and > > `(QPat1 ...QPatn)' are different forms (expressions) > > Actually, no, they are identical: > > (QPAT1 QPAT2 QPAT3) is indistinguishable from > (QPAT1 . (QPAT2 . (QPAT3 . nil))) > > the equivalence between the two is imposed by the reader, long before we > know that these things will be "patterns in a pcase" rather than > expressions, or data in a quoted thingy, ... Simply right, thanks. I wonder, however, if that's clear for every user. Nonetheless, there are enough examples in (elisp) Pattern matching case statement that use the (QPAT1 QPAT2 QPAT3) syntax. So, I'll close this, thanks. Regards, Michael. From debbugs-submit-bounces@debbugs.gnu.org Mon Feb 11 09:24:43 2013 Received: (at control) by debbugs.gnu.org; 11 Feb 2013 14:24:43 +0000 Received: from localhost ([127.0.0.1]:50189 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1U4uJH-0000mU-7a for submit@debbugs.gnu.org; Mon, 11 Feb 2013 09:24:43 -0500 Received: from mout.web.de ([212.227.17.11]:52780) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1U4uJE-0000mL-79 for control@debbugs.gnu.org; Mon, 11 Feb 2013 09:24:41 -0500 Received: from drachen.dragon ([92.74.177.220]) by smtp.web.de (mrweb001) with ESMTPA (Nemesis) id 0LoHP7-1UXcHT31i5-00gIyi; Mon, 11 Feb 2013 15:24:18 +0100 From: Michael Heerdegen To: control@debbugs.gnu.org Subject: none Date: Mon, 11 Feb 2013 15:25:47 +0100 Message-ID: <87bobrdj10.fsf@web.de> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.2.93 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Provags-ID: V02:K0:JIbDRCU89TAsMNl7h7GkDZqV5PEWw5irV0Z/hR9/2cu N65zzV49vYmwUSKBCwZxtQw+V6Z0bCsG3HnPCumM1zWVSF1+jj zZoeikjqpUZk/aYbc4DM4+WVVESLyWegeANixKEiFGbhS3+2OT ElHJLwyZ9jk0pqd7vZ5kYIi0u462YwGRoRxZZw6MqRxREIkUJ3 QY4/Fh1AILz7+QGY/z9jjJTmhXnHYsb7bJTK01A9Zw= X-Spam-Score: 0.8 (/) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -0.0 (/) close 13678 stop From unknown Sat Jun 21 10:31:45 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Tue, 12 Mar 2013 11:24:04 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator