From unknown Sun Jun 22 00:30:20 2025 X-Loop: help-debbugs@gnu.org Subject: bug#13678: 24.2.93; pcase: mention list-like QPatterns in the doc Resent-From: Michael Heerdegen Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 10 Feb 2013 17:49:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 13678 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: 13678@debbugs.gnu.org X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Reply-To: michael_heerdegen@web.de Received: via spool by submit@debbugs.gnu.org id=B.1360518500341 (code B ref -1); Sun, 10 Feb 2013 17:49:02 +0000 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 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-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: -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 unknown Sun Jun 22 00:30:20 2025 X-Loop: help-debbugs@gnu.org Subject: bug#13678: 24.2.93; pcase: mention list-like QPatterns in the doc Resent-From: Stefan Monnier Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 11 Feb 2013 01:45:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 13678 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Michael Heerdegen Cc: 13678@debbugs.gnu.org Received: via spool by 13678-submit@debbugs.gnu.org id=B13678.136054706021699 (code B ref 13678); Mon, 11 Feb 2013 01:45:02 +0000 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 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-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 unknown Sun Jun 22 00:30:20 2025 X-Loop: help-debbugs@gnu.org Subject: bug#13678: 24.2.93; pcase: mention list-like QPatterns in the doc Resent-From: Michael Heerdegen Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 11 Feb 2013 13:37:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 13678 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: 13678@debbugs.gnu.org X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.136058980729617 (code B ref -1); Mon, 11 Feb 2013 13:37:02 +0000 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 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-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