From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Helmut Eller Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 27 Jan 2014 09:24:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: 16567@debbugs.gnu.org X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.139081459431094 (code B ref -1); Mon, 27 Jan 2014 09:24:01 +0000 Received: (at submit) by debbugs.gnu.org; 27 Jan 2014 09:23:14 +0000 Received: from localhost ([127.0.0.1]:37355 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W7iPR-00085Q-Iq for submit@debbugs.gnu.org; Mon, 27 Jan 2014 04:23:13 -0500 Received: from eggs.gnu.org ([208.118.235.92]:58765) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W7iPO-00085F-6J for submit@debbugs.gnu.org; Mon, 27 Jan 2014 04:23:10 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1W7iPE-0003jC-Lx for submit@debbugs.gnu.org; Mon, 27 Jan 2014 04:23:10 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:58388) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W7iPE-0003iv-Hb for submit@debbugs.gnu.org; Mon, 27 Jan 2014 04:23:00 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:60417) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W7iP6-0004sC-Uz for bug-gnu-emacs@gnu.org; Mon, 27 Jan 2014 04:23:00 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1W7iOz-0003fQ-JQ for bug-gnu-emacs@gnu.org; Mon, 27 Jan 2014 04:22:52 -0500 Received: from mail-ea0-f179.google.com ([209.85.215.179]:46788) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W7iOz-0003fB-Dl for bug-gnu-emacs@gnu.org; Mon, 27 Jan 2014 04:22:45 -0500 Received: by mail-ea0-f179.google.com with SMTP id q10so1879703ead.38 for ; Mon, 27 Jan 2014 01:22:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:subject:date:message-id:mime-version:content-type; bh=MINny3WJ3MWg66cTealGaVRjMwtRp+VmLeR7ll6vu5U=; b=rpeK0PZC4CyzN4fEjMta2FjWaKG6HGu3tf6M/subOk6EXNuXWVhWwbcZcbvj/Tpr7X ctXjHrYPUYZWIL7Y6RFZO1i1LAAIsxV0YgwBxpo34z02GM8ZWSY4JE3qn5hOKKsGM9fY TvR2eeemFeSgiz4YbLoDEKsrdwuREaU/acvm/6eWXLSASWIDz9BrcjI44hOpHZ+7wTFl ASaJZ7b+ah7izCK2mP3s7D+lkkb8lHV5Msq0zv6uN9Xy3p0Mjt7ddi4vHRLMsiwx7C8e RQbYPPgnwI7bz7A3fVLQbomSMfue8WRUXvEcisfKcbVIsqvdmQp5INYE0bLH2DxUuhi+ aXgA== X-Received: by 10.14.194.131 with SMTP id m3mr24137102een.2.1390814529739; Mon, 27 Jan 2014 01:22:09 -0800 (PST) Received: from ix ([212.46.176.45]) by mx.google.com with ESMTPSA id x2sm39988760eeo.8.2014.01.27.01.22.08 for (version=TLSv1.2 cipher=RC4-SHA bits=128/128); Mon, 27 Jan 2014 01:22:08 -0800 (PST) Received: from helmut by ix with local (Exim 4.80) (envelope-from ) id 1W7iOM-0000w7-Qv for bug-gnu-emacs@gnu.org; Mon, 27 Jan 2014 10:22:07 +0100 From: Helmut Eller Date: Mon, 27 Jan 2014 10:22:06 +0100 Message-ID: MIME-Version: 1.0 Content-Type: text/plain 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: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.0 (----) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -4.0 (----) pcase returns nil for this example: (pcase 3 (1 1) (2 2)) it would be more useful if it would signal an error instead. Manually adding a "catch-all case" and inventing some error message is tedious and it's also easy to forget. From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Daimrod Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 27 Jan 2014 10:19:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Helmut Eller Cc: 16567@debbugs.gnu.org Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.13908178833895 (code B ref 16567); Mon, 27 Jan 2014 10:19:01 +0000 Received: (at 16567) by debbugs.gnu.org; 27 Jan 2014 10:18:03 +0000 Received: from localhost ([127.0.0.1]:37378 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W7jGU-00010e-6x for submit@debbugs.gnu.org; Mon, 27 Jan 2014 05:18:02 -0500 Received: from mail-we0-f174.google.com ([74.125.82.174]:49826) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W7jGR-00010K-6K for 16567@debbugs.gnu.org; Mon, 27 Jan 2014 05:17:59 -0500 Received: by mail-we0-f174.google.com with SMTP id x55so4944217wes.19 for <16567@debbugs.gnu.org>; Mon, 27 Jan 2014 02:17:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-type; bh=N2VfUkgIvziwEORSTSA5Izrgs1IP2GZ3VAjq5cphdqQ=; b=GIP1URJSEII4qdtgBmapOIVD8BN/uZFfSAswZLRgZhwfMcpQ6cj48xcdXjYfpuoMPE Qg1ZK5Llc2kyYJxnI2buMpaLoRTiRVVTE6UnTIEYIkPoZe9zvJfEXST5ogpbEkLljUFx tqtTP3lfK75/2PqsEaGSmAf1p0g8WqeY6J8p9uMWutQy2BMpxUcSoGwj7D9oG7hvUbjk mvHeIswJBNsJxpuqVOwadqmqGh9cSUPoNdUspMP8lItxCCZZ08oFqhVNU2ArU+nkjjiZ ZwpyGwqXEXUOi03PC1g2NS/mcDbHLARj4RTcUpk52mXawSEmObSqZEJKZkS26rh7blsG rhiw== X-Received: by 10.194.71.47 with SMTP id r15mr19685606wju.19.1390817878143; Mon, 27 Jan 2014 02:17:58 -0800 (PST) Received: from localhost (reverse-177-95.fdn.fr. [80.67.177.95]) by mx.google.com with ESMTPSA id q15sm24013334wjw.18.2014.01.27.02.17.55 for (version=TLSv1.2 cipher=RC4-SHA bits=128/128); Mon, 27 Jan 2014 02:17:57 -0800 (PST) From: Daimrod References: Date: Mon, 27 Jan 2014 11:27:26 +0100 In-Reply-To: (Helmut Eller's message of "Mon, 27 Jan 2014 10:22:06 +0100") Message-ID: <877g9lzpm9.fsf@tanger.home> 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.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) Helmut Eller writes: > pcase returns nil for this example: > > (pcase 3 > (1 1) > (2 2)) > > it would be more useful if it would signal an error instead. Manually > adding a "catch-all case" and inventing some error message is tedious > and it's also easy to forget. Wouldn't a `epcase' (as in `cl-ecase') be more appropriate for this use-case? -- Daimrod/Greg From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Helmut Eller Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 27 Jan 2014 11:57:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Daimrod Cc: 16567@debbugs.gnu.org Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.139082377313619 (code B ref 16567); Mon, 27 Jan 2014 11:57:02 +0000 Received: (at 16567) by debbugs.gnu.org; 27 Jan 2014 11:56:13 +0000 Received: from localhost ([127.0.0.1]:37467 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W7knU-0003Xb-Nd for submit@debbugs.gnu.org; Mon, 27 Jan 2014 06:56:12 -0500 Received: from mail-ee0-f49.google.com ([74.125.83.49]:33095) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W7knR-0003XS-UJ for 16567@debbugs.gnu.org; Mon, 27 Jan 2014 06:56:10 -0500 Received: by mail-ee0-f49.google.com with SMTP id d17so2183920eek.22 for <16567@debbugs.gnu.org>; Mon, 27 Jan 2014 03:56:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-type; bh=hpKi3NrPLJipYsIdppX6x1/4ICMoqMx1lpzqTqxcilA=; b=Z4Vm3mQGlg2oO6gAY2sol/08nwVoDWiLnh+bAukL5kps8QqxaNMEkkzMveynTTAnPZ 1KqZoFZVrsFCA7a1r9afq4OMJ5v9HyXv5ByHMz79UpluIJjLwMB335GjyokRGNrFgOXB 1mHSNzgfes+KPQcWmVsuTxKvrmsuwPHSYymxZWJoJRTjZwaXkP5WNu61kvPfAtc3NnpR oGIDYtKws52+7IFgYZfE0HFb/32vfgFkn8O5q7H524Xz6WC5GSihAkk94xQdKNEfPECL ZQMJ2yP8j1SdhweThZZCd0ZgXBkGcWe56X3B3nsQRImuy5DdxZpq4pC8bLx+6EKtROi1 +kSg== X-Received: by 10.14.199.68 with SMTP id w44mr498055een.98.1390823769089; Mon, 27 Jan 2014 03:56:09 -0800 (PST) Received: from ix ([212.46.176.45]) by mx.google.com with ESMTPSA id j42sm41577201eep.21.2014.01.27.03.56.07 for (version=TLSv1.2 cipher=RC4-SHA bits=128/128); Mon, 27 Jan 2014 03:56:08 -0800 (PST) Received: from helmut by ix with local (Exim 4.80) (envelope-from ) id 1W7knO-0000ys-7T; Mon, 27 Jan 2014 12:56:06 +0100 From: Helmut Eller References: <877g9lzpm9.fsf@tanger.home> Date: Mon, 27 Jan 2014 12:56:06 +0100 In-Reply-To: <877g9lzpm9.fsf@tanger.home> (daimrod@gmail.com's message of "Mon, 27 Jan 2014 11:27:26 +0100") Message-ID: 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.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) On Mon, Jan 27 2014, Daimrod wrote: > Helmut Eller writes: > >> pcase returns nil for this example: >> >> (pcase 3 >> (1 1) >> (2 2)) >> >> it would be more useful if it would signal an error instead. Manually >> adding a "catch-all case" and inventing some error message is tedious >> and it's also easy to forget. > > Wouldn't a `epcase' (as in `cl-ecase') be more appropriate for this > use-case? My gut feeling is that in 80% of all situations ECASE is more or just as appropriate as CASE. Or put differently it's very uncommon that CASE is preferable to ECASE. Therefore I think pcase should singal an error by default. The nice thing about a epcase would be the symmetry/analogy to ECASE/ETYPECASE. But that seems like a minor advantage. Helmut From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Daimrod Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 27 Jan 2014 12:15:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Helmut Eller Cc: 16567@debbugs.gnu.org Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.139082484615407 (code B ref 16567); Mon, 27 Jan 2014 12:15:01 +0000 Received: (at 16567) by debbugs.gnu.org; 27 Jan 2014 12:14:06 +0000 Received: from localhost ([127.0.0.1]:37472 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W7l4o-00040R-Cq for submit@debbugs.gnu.org; Mon, 27 Jan 2014 07:14:06 -0500 Received: from mail-wg0-f51.google.com ([74.125.82.51]:54802) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W7l4m-00040I-9j for 16567@debbugs.gnu.org; Mon, 27 Jan 2014 07:14:04 -0500 Received: by mail-wg0-f51.google.com with SMTP id z12so5361818wgg.6 for <16567@debbugs.gnu.org>; Mon, 27 Jan 2014 04:14:03 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-type; bh=QxG41JzGkYPiMeonGtOwGGGncLLuboArn2SW/hmbIds=; b=EtAyNuMAhePkzs63DtHf6eeTTRa+WlyCnZ1CdXumuAayHou7e4KLJTKysLHrkedf+3 eeDtJMx1Ntje1NHwVGsk6Uqpivy1FJlQ9uCqRU5leu4Ga+Ldb8TpofF2WXExCkL2UqrP jbaKJGjyuaRWqB/ayq6Czr7QnZYvtAEOkH3bmyw5kOH2gJJUvKIvg/7ukJJe3mTjdEGF imlV+ZxErGF/mfJBNL0a4nxXJVn8oGgfvmyOx99vsxoeuTHi18ig7lzCKvbB6gMxX6Th oUHuPRxbR+C+Ch+DzturEYruVdJsj0Zx9GV3KeRkekJI1F+rj4BNGTHq7r4blvH0FEdS D+tg== X-Received: by 10.194.78.179 with SMTP id c19mr24018wjx.84.1390824843555; Mon, 27 Jan 2014 04:14:03 -0800 (PST) Received: from localhost (reverse-177-95.fdn.fr. [80.67.177.95]) by mx.google.com with ESMTPSA id dd3sm24779938wjb.9.2014.01.27.04.13.59 for (version=TLSv1.2 cipher=RC4-SHA bits=128/128); Mon, 27 Jan 2014 04:14:03 -0800 (PST) From: Daimrod References: <877g9lzpm9.fsf@tanger.home> Date: Mon, 27 Jan 2014 13:23:30 +0100 In-Reply-To: (Helmut Eller's message of "Mon, 27 Jan 2014 12:56:06 +0100") Message-ID: <877g9ly5od.fsf@tanger.home> 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.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) Helmut Eller writes: > On Mon, Jan 27 2014, Daimrod wrote: > >> Helmut Eller writes: >> >>> pcase returns nil for this example: >>> >>> (pcase 3 >>> (1 1) >>> (2 2)) >>> >>> it would be more useful if it would signal an error instead. Manually >>> adding a "catch-all case" and inventing some error message is tedious >>> and it's also easy to forget. >> >> Wouldn't a `epcase' (as in `cl-ecase') be more appropriate for this >> use-case? > > My gut feeling is that in 80% of all situations ECASE is more or just as > appropriate as CASE. Or put differently it's very uncommon that CASE is > preferable to ECASE. Therefore I think pcase should singal an error by > default. > > The nice thing about a epcase would be the symmetry/analogy to > ECASE/ETYPECASE. But that seems like a minor advantage. It also has the advantage of not breaking existing code that relies on its current behavior, though I agree that most of the time I use ECASE instead of CASE. > Helmut -- Daimrod/Greg From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Leo Liu Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 08 Sep 2014 18:28:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Stefan Monnier Cc: 16567@debbugs.gnu.org, Helmut Eller Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.141020084318588 (code B ref 16567); Mon, 08 Sep 2014 18:28:02 +0000 Received: (at 16567) by debbugs.gnu.org; 8 Sep 2014 18:27:23 +0000 Received: from localhost ([127.0.0.1]:34071 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XR3es-0004pj-Sm for submit@debbugs.gnu.org; Mon, 08 Sep 2014 14:27:23 -0400 Received: from mail-pa0-f54.google.com ([209.85.220.54]:65033) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XR3eq-0004pR-92 for 16567@debbugs.gnu.org; Mon, 08 Sep 2014 14:27:21 -0400 Received: by mail-pa0-f54.google.com with SMTP id lj1so4396017pab.41 for <16567@debbugs.gnu.org>; Mon, 08 Sep 2014 11:27:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:face:date:in-reply-to:message-id :user-agent:mime-version:content-type; bh=1wm8LV36o0i2gOhv6NNCwHKkOE248rxdENo3DnfinCc=; b=xJ5PgJyA1Kuw9hEjARnqQSQLisE985NGL4YocKygYQGwxROUmC1xS0ageBobpslE5T C51wf0xKth2uL4jO7y7sRTYGrGxIyH+dGUPgpzm2hQtLdG+cniNvH+J3vePvUNDOy3VA N08h4D9XIWtxrNxbXnqDKsmhM2tk4q0NbouWSioN4vlA08Hw7bfOdEyU+GdBsKzs26Gh uwa3p7TU4ctMQsogpwpfQdEPfsuaoHmMbvvdGNvpWDr/HFHMID0ql3fpomEniffBgE/G FWizHm+r8X1l9zSK+5HspRJdSCvdIiPkMdCacLPUb2fZUgxxSfbvXDlCVbCeCLK8/MvK P7LQ== X-Received: by 10.68.95.129 with SMTP id dk1mr5728973pbb.25.1410200834340; Mon, 08 Sep 2014 11:27:14 -0700 (PDT) Received: from fortuna ([221.222.152.125]) by mx.google.com with ESMTPSA id gf5sm9466151pbc.89.2014.09.08.11.27.11 for (version=TLSv1.1 cipher=RC4-SHA bits=128/128); Mon, 08 Sep 2014 11:27:13 -0700 (PDT) From: Leo Liu References: Face: iVBORw0KGgoAAAANSUhEUgAAACgAAAAoBAMAAAB+0KVeAAAAGFBMVEUzRVhbQj4eZqO6SjnT eWpxnMetm5b6/PmidmqrAAAAAWJLR0QAiAUdSAAAAAlwSFlzAAALEwAACxMBAJqcGAAAAAd0SU1F B9cBBwMLBfKABCMAAAFoSURBVCjPtZI9a8MwEIaFoc7aYDdelQMna0Em3tsSr0XUeE2Q6a22a+v+ fk8fSSBkbDUI6dHpfe9OEvRgiD+ApqKPJgJeB6iUUXWESjUe/ig38AJrhqqvaU2nTIXbNvOQ40fe qdry4kyGoVWsfCQalXpHnJGM01wjWdYbMlXNFdsZDO69m9aqNqxEJqTEgbM5OF7wlEfIoll1Ked4 LbM5X2EdILLokEdmI8z7g5cKED0cuTC930TYhy7ZDekkXVGw/L60TguJePPxcJF48lpsSUWEA/Ju jGFNgJOXc4Hz7TmAdBeu5Ve4AEjOi2/2jfd3cAJZ+IbNrvdjgBZY01b+HTuG3cLws6BJZqVOj/pp T0OqVwx3rFq+QmJwx3loK5JSLEhDIt62+mtC2C+SrAUxEbV6C6v2BRbd6pILBKFpepKZJHgGgrKF sptSUUoczpwg2pQ7ZH1tgs0ou/917mzz6Cs2//C978cv5l07L02orIEAAAAASUVORK5CYII= Date: Tue, 09 Sep 2014 02:27:08 +0800 In-Reply-To: (Helmut Eller's message of "Mon, 27 Jan 2014 10:22:06 +0100") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (CentOS 6.5) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) On 2014-01-27 10:22 +0100, Helmut Eller wrote: > pcase returns nil for this example: > > (pcase 3 > (1 1) > (2 2)) > > it would be more useful if it would signal an error instead. Manually > adding a "catch-all case" and inventing some error message is tedious > and it's also easy to forget. Hi Stefan, I also find myself wanting something as Helmut suggested more and more. Any comments in the following patch? Thanks. Leo === modified file 'lisp/emacs-lisp/pcase.el' --- lisp/emacs-lisp/pcase.el 2014-09-06 00:59:00 +0000 +++ lisp/emacs-lisp/pcase.el 2014-09-08 18:15:37 +0000 @@ -68,6 +68,8 @@ (defconst pcase--dontcare-upats '(t _ pcase--dontcare)) +(defvar pcase--dontwarn-upats '(pcase--dontcare)) + (def-edebug-spec pcase-UPAT (&or symbolp @@ -148,6 +150,14 @@ ;; (puthash (car cases) `(,exp ,cases ,@expansion) pcase--memoize-2) expansion)))) +;;;###autoload +(defmacro xcase (exp &rest cases) + (declare (indent 1) (debug pcase)) + (let* ((x (make-symbol "x")) + (pcase--dontwarn-upats (cons x pcase--dontwarn-upats))) + (pcase--expand + exp (append cases `((,x (error "No clause matching `%S'" ,x))))))) + (defun pcase--let* (bindings body) (cond ((null bindings) (macroexp-progn body)) @@ -280,7 +290,8 @@ vars)))) cases)))) (dolist (case cases) - (unless (or (memq case used-cases) (eq (car case) 'pcase--dontcare)) + (unless (or (memq case used-cases) + (memq (car case) pcase--dontwarn-upats)) (message "Redundant pcase pattern: %S" (car case)))) (macroexp-let* defs main)))) From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 08 Sep 2014 19:20:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Helmut Eller Cc: 16567@debbugs.gnu.org Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.141020395123356 (code B ref 16567); Mon, 08 Sep 2014 19:20:02 +0000 Received: (at 16567) by debbugs.gnu.org; 8 Sep 2014 19:19:11 +0000 Received: from localhost ([127.0.0.1]:34084 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XR4T0-00064d-6t for submit@debbugs.gnu.org; Mon, 08 Sep 2014 15:19:10 -0400 Received: from pruche.dit.umontreal.ca ([132.204.246.22]:40441) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XR4Sy-00064U-A0 for 16567@debbugs.gnu.org; Mon, 08 Sep 2014 15:19:09 -0400 Received: from pastel.home (lechon.iro.umontreal.ca [132.204.27.242]) by pruche.dit.umontreal.ca (8.14.1/8.14.1) with ESMTP id s88JJ6jn023320; Mon, 8 Sep 2014 15:19:07 -0400 Received: by pastel.home (Postfix, from userid 20848) id 77EAA60BF3; Mon, 8 Sep 2014 15:19:06 -0400 (EDT) From: Stefan Monnier Message-ID: References: Date: Mon, 08 Sep 2014 15:19:06 -0400 In-Reply-To: (Helmut Eller's message of "Mon, 27 Jan 2014 10:22:06 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-NAI-Spam-Flag: NO X-NAI-Spam-Threshold: 5 X-NAI-Spam-Score: 0 X-NAI-Spam-Rules: 1 Rules triggered RV5058=0 X-NAI-Spam-Version: 2.3.0.9378 : core <5058> : inlines <1266> : streams <1284740> : uri <1811768> X-Spam-Score: -3.8 (---) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.8 (---) > pcase returns nil for this example: > (pcase 3 > (1 1) > (2 2)) > it would be more useful if it would signal an error instead. Manually > adding a "catch-all case" and inventing some error message is tedious > and it's also easy to forget. The "nil default" is also very handy at times and pcase has been in use for long enough that we can't really change this easily. But we could add a new pcase-exhaustive macro that does that. Stefan From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Helmut Eller Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 08 Sep 2014 20:59:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Stefan Monnier Cc: 16567@debbugs.gnu.org Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.141020989932413 (code B ref 16567); Mon, 08 Sep 2014 20:59:01 +0000 Received: (at 16567) by debbugs.gnu.org; 8 Sep 2014 20:58:19 +0000 Received: from localhost ([127.0.0.1]:34111 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XR60v-0008Qh-RX for submit@debbugs.gnu.org; Mon, 08 Sep 2014 16:58:18 -0400 Received: from mail-wg0-f51.google.com ([74.125.82.51]:62652) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XR60s-0008QT-5g for 16567@debbugs.gnu.org; Mon, 08 Sep 2014 16:58:15 -0400 Received: by mail-wg0-f51.google.com with SMTP id k14so1310303wgh.34 for <16567@debbugs.gnu.org>; Mon, 08 Sep 2014 13:58:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-type; bh=O6UwEtphMymcA5lUhVGBEbgR+eq2mOzy8h1ZIhY076Q=; b=xhjEUu1LLCJpZcZZeh44D4AB0YxcA0Zu8TCVBppMhIHvJ12aKuAo48CenGRNqKQR2b 0W/Ute9jUYxjO9EdMYPHbRaArh2JgRWW5d0ltssqSgyM9ecFrE4Xk1ahd6/RisbOvNgm yeQwmXjiPVoQHSF2VIEVHRcoZdInh0osXnpIl5MmM5sCrvHl7my4gjiOph4iFB+nH40i 4KNoS9UHB1M2TvfO8Xcv7oB+buiN/OwoTeyhogq/xJVIahPkorsW8/Qk8N8C82oMNdfh W+XTHM8IOnSXC5AA6vgdZJ6YAMvVfmAiPZoATvJdaMWh3pg3ebLtM1SGwm+rh5WfCM+c DVUg== X-Received: by 10.194.94.196 with SMTP id de4mr38778759wjb.86.1410209887972; Mon, 08 Sep 2014 13:58:07 -0700 (PDT) Received: from ix ([212.46.171.153]) by mx.google.com with ESMTPSA id pk9sm12408548wjb.16.2014.09.08.13.58.06 for (version=TLSv1.2 cipher=RC4-SHA bits=128/128); Mon, 08 Sep 2014 13:58:07 -0700 (PDT) Received: from helmut by ix with local (Exim 4.80) (envelope-from ) id 1XR60k-0008Cd-DO; Mon, 08 Sep 2014 22:58:06 +0200 From: Helmut Eller References: Date: Mon, 08 Sep 2014 22:58:05 +0200 In-Reply-To: (Stefan Monnier's message of "Mon, 08 Sep 2014 15:19:06 -0400") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) On Mon, Sep 08 2014, Stefan Monnier wrote: >> pcase returns nil for this example: >> (pcase 3 >> (1 1) >> (2 2)) >> it would be more useful if it would signal an error instead. Manually >> adding a "catch-all case" and inventing some error message is tedious >> and it's also easy to forget. > > The "nil default" is also very handy at times and pcase has been in use > for long enough that we can't really change this easily. What could happen if you would change it? Mostly some "no clause matching" errors. Arguably better than the current situation where poeple forget the unintuitive default and receive no error message. > But we could add a new pcase-exhaustive macro that does that. Nobody wants to use such a long name. The "nil default" would make more sense in a pcase-if or pif macro. Helmut From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 09 Sep 2014 00:42:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Helmut Eller Cc: 16567@debbugs.gnu.org Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.141022327025666 (code B ref 16567); Tue, 09 Sep 2014 00:42:01 +0000 Received: (at 16567) by debbugs.gnu.org; 9 Sep 2014 00:41:10 +0000 Received: from localhost ([127.0.0.1]:34244 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XR9Ub-0006ft-Qa for submit@debbugs.gnu.org; Mon, 08 Sep 2014 20:41:10 -0400 Received: from ironport2-out.teksavvy.com ([206.248.154.181]:7524) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XR9UZ-0006ff-Eb for 16567@debbugs.gnu.org; Mon, 08 Sep 2014 20:41:08 -0400 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArYGAIDvNVNFpZEG/2dsb2JhbABZgwaDSr0vgw6BFxd0giUBAQEBAgFWIwULCzQSFBgNJIgECNIZF456B4Q4BKkZgWqDTCE X-IPAS-Result: ArYGAIDvNVNFpZEG/2dsb2JhbABZgwaDSr0vgw6BFxd0giUBAQEBAgFWIwULCzQSFBgNJIgECNIZF456B4Q4BKkZgWqDTCE X-IronPort-AV: E=Sophos;i="4.97,753,1389762000"; d="scan'208";a="89177361" Received: from 69-165-145-6.dsl.teksavvy.com (HELO ceviche.home) ([69.165.145.6]) by ironport2-out.teksavvy.com with ESMTP/TLS/DHE-RSA-AES256-SHA; 08 Sep 2014 20:41:01 -0400 Received: by ceviche.home (Postfix, from userid 20848) id B7ABF660C4; Mon, 8 Sep 2014 20:41:01 -0400 (EDT) From: Stefan Monnier Message-ID: References: Date: Mon, 08 Sep 2014 20:41:01 -0400 In-Reply-To: (Helmut Eller's message of "Mon, 08 Sep 2014 22:58:05 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.3 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.3 (/) > What could happen if you would change it? Obviously: errors signaled instead of returning the expected nil. Returning nil by default is "the norm" in Elisp (think of missing `else' branches in `if', or missing default case in `cond' or even missing default case in `cl-case'), so it's to be expected that pcase users would rely on this default behavior as well, even if it strikes you as utter nonsense. > The "nil default" would make more sense in a pcase-if or pif macro. Changing the default of `pcase' is not an option at this point. Stefan From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Leo Liu Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 10 Sep 2014 00:03:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Stefan Monnier Cc: 16567@debbugs.gnu.org, Helmut Eller Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.141030737012847 (code B ref 16567); Wed, 10 Sep 2014 00:03:01 +0000 Received: (at 16567) by debbugs.gnu.org; 10 Sep 2014 00:02:50 +0000 Received: from localhost ([127.0.0.1]:35774 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRVN4-0003L9-Fu for submit@debbugs.gnu.org; Tue, 09 Sep 2014 20:02:50 -0400 Received: from mail-pa0-f47.google.com ([209.85.220.47]:56369) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRVN2-0003Kp-8x for 16567@debbugs.gnu.org; Tue, 09 Sep 2014 20:02:48 -0400 Received: by mail-pa0-f47.google.com with SMTP id ey11so8080815pad.6 for <16567@debbugs.gnu.org>; Tue, 09 Sep 2014 17:02:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:face:date:in-reply-to:message-id :user-agent:mime-version:content-type; bh=u/ZusFQXc7VP+ZWpUcL78dnYBSpdMPXThS7Yq9JFxVA=; b=tuRXOXToiSvrh9AVFgOb8XEdxnqPOSy7c+OSnOHxDgXyXi09UPcQV3mnZXd5GW2ZtX qCKWrFa1eBM5g6S7Dl6jHFgrvcuoCUomYIihhvDODD5r+Gd8hq4zetnQzllZA6Q71EeC bokHeu36Lp3gqv184kUBIXrJINGCFeeK/hm7nFlO7jGKNkF52C2r9/VXTV7LNMv+ZgCV jxnxZGYkzv3j9puqEAxL/kE0yima/reHU0HvVSDPw3ASrm52h58WYa5p4yJkMqk/9RRF DSqbLwV2sM+1iE4xcPdtrne9HH3/5ZPhuML10haw0c9RIGSq9DmGcjIDWNBy+mBTXxUt udqQ== X-Received: by 10.70.118.166 with SMTP id kn6mr9224067pdb.65.1410307362254; Tue, 09 Sep 2014 17:02:42 -0700 (PDT) Received: from fortuna ([221.222.149.35]) by mx.google.com with ESMTPSA id vy10sm12657485pbc.5.2014.09.09.17.02.39 for (version=TLSv1.1 cipher=RC4-SHA bits=128/128); Tue, 09 Sep 2014 17:02:41 -0700 (PDT) From: Leo Liu References: Face: iVBORw0KGgoAAAANSUhEUgAAACkAAAApAQAAAACAGz1bAAABKElEQVQYlWNg3NIt5FDPUPt7 4+X79Qyucz5/ugik+L2PBgKpyphaIK921q23QDnG0NBQoMr/vaWl9f8ZLL78uPv5PwN7RETfzXoG jhmFz27XM0RXmpuY/WfY+fv0Mc56BvFybfXA/wwL5t/wF61n2PU59axXPcOVzbmSW/8zrNt1benC /ww70hqUU/4zKCtrT9jwn8FhwynbufUMendE2aLqGRpdX9al1zM8eh17lKeeQcTMrdD5P8P3j/YT Q/8zXHSb7p1Qz/C4OM2JuZ7hgtI7K6AjqsMnf8j4z8C6xG1tw3+GqpqvsVn/GTzmpD9j/8/wP/oZ S/l/Bka+QO/g/wy15ueeFQL9N1O8mPU/g+umV3t1gdT0/1bTgHLqYVeXAlWKpMWt+w8Az82C9nHf X0cAAAAASUVORK5CYII= Date: Wed, 10 Sep 2014 08:02:35 +0800 In-Reply-To: (Stefan Monnier's message of "Mon, 08 Sep 2014 20:41:01 -0400") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (CentOS 6.5) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) On 2014-09-08 20:41 -0400, Stefan Monnier wrote: > Changing the default of `pcase' is not an option at this point. What's the way forward? Leo From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 10 Sep 2014 02:27:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Leo Liu Cc: 16567@debbugs.gnu.org, Helmut Eller Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.141031599931744 (code B ref 16567); Wed, 10 Sep 2014 02:27:01 +0000 Received: (at 16567) by debbugs.gnu.org; 10 Sep 2014 02:26:39 +0000 Received: from localhost ([127.0.0.1]:35836 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRXcF-0008Fu-5R for submit@debbugs.gnu.org; Tue, 09 Sep 2014 22:26:39 -0400 Received: from pruche.dit.umontreal.ca ([132.204.246.22]:51948) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRXcC-0008Fl-El for 16567@debbugs.gnu.org; Tue, 09 Sep 2014 22:26:37 -0400 Received: from ceviche.home (lechon.iro.umontreal.ca [132.204.27.242]) by pruche.dit.umontreal.ca (8.14.1/8.14.1) with ESMTP id s8A2QZ1e015838; Tue, 9 Sep 2014 22:26:35 -0400 Received: by ceviche.home (Postfix, from userid 20848) id 003B2660D3; Tue, 9 Sep 2014 22:26:34 -0400 (EDT) From: Stefan Monnier Message-ID: References: Date: Tue, 09 Sep 2014 22:26:34 -0400 In-Reply-To: (Leo Liu's message of "Wed, 10 Sep 2014 08:02:35 +0800") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-NAI-Spam-Flag: NO X-NAI-Spam-Level: X-NAI-Spam-Threshold: 5 X-NAI-Spam-Score: 0.2 X-NAI-Spam-Rules: 2 Rules triggered GEN_SPAM_FEATRE=0.2, RV5059=0 X-NAI-Spam-Version: 2.3.0.9378 : core <5059> : inlines <1273> : streams <1285918> : uri <1812227> X-Spam-Score: -3.8 (---) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.8 (---) >> Changing the default of `pcase' is not an option at this point. > What's the way forward? I suggested `pcase-exhaustive'. You suggested `xcase', which I don't like for namespace reasons. Stefan From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Leo Liu Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 10 Sep 2014 02:53:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Stefan Monnier Cc: 16567@debbugs.gnu.org, Helmut Eller Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.14103175531972 (code B ref 16567); Wed, 10 Sep 2014 02:53:02 +0000 Received: (at 16567) by debbugs.gnu.org; 10 Sep 2014 02:52:33 +0000 Received: from localhost ([127.0.0.1]:35841 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRY1J-0000Vk-E0 for submit@debbugs.gnu.org; Tue, 09 Sep 2014 22:52:33 -0400 Received: from mail-pd0-f170.google.com ([209.85.192.170]:49353) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRY1G-0000VV-8P for 16567@debbugs.gnu.org; Tue, 09 Sep 2014 22:52:31 -0400 Received: by mail-pd0-f170.google.com with SMTP id fp1so2427683pdb.29 for <16567@debbugs.gnu.org>; Tue, 09 Sep 2014 19:52:24 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:face:date:in-reply-to:message-id :user-agent:mime-version:content-type; bh=349b3rJbDF9FF7IWzmsRJWWjdwCLR/hTqZ32pFFR0Zo=; b=vPzXwJ9F9hRl5a1UZrtvMgG98oAL5hVAbbgloZ+iyUSBc1/zY3ful6XEam+AUik1Y9 MJH3eKJZu2aKjT9b16TnjR5P+1LcBmLcXpOR7+3Cq3izF494i4rdLUzMWUEdqVXFsDz6 ZH4wf7h8s1bNaKPlBBxF2GLlpbeIe4u0WAqJryx4dkcB+51ykgLW2cYee01GAzUFsXo8 6bOUhi6+eMjMUpanaZTCMevmfwI2x0m6eBwjwxdwvdFVguC8EG2DzZcMjq+0be7sOCN/ f+V/Ju1jlKVWXhc+RXWzvWD9kuhnSB0T1tqYXV+gDGwdabQ0GI2ZvIY71Uo6GUgMqpM+ HbdQ== X-Received: by 10.70.138.9 with SMTP id qm9mr3010333pdb.131.1410317544065; Tue, 09 Sep 2014 19:52:24 -0700 (PDT) Received: from fortuna ([221.222.149.35]) by mx.google.com with ESMTPSA id y1sm12987685pdk.90.2014.09.09.19.52.21 for (version=TLSv1.1 cipher=RC4-SHA bits=128/128); Tue, 09 Sep 2014 19:52:23 -0700 (PDT) From: Leo Liu References: Face: iVBORw0KGgoAAAANSUhEUgAAACgAAAAoBAMAAAB+0KVeAAAAMFBMVEUaFRZLMy1dTENxVzKQ WiCrXQ97cmO/dSqSh3akjGTApXy5sJ7Sxo/Sz8Xo6eP9//xJbkruAAAAAWJLR0QAiAUdSAAAAAlw SFlzAAACxQAAAsUBidZ/7wAAAAd0SU1FB9cBBwMJOwHXewoAAAIBSURBVCjPVdNBiNNAFADQ6J4F x3hThHZBBC+WCFI8SS0iezRDcMHLHkLAg6gJH/fgYQ9xYlj2sLK4KHgqCgXFhda2Idmr4kkQPZQ0 nkQMbTypbMmMM2m7ZgYSmMef/5OZPwo7HFnx3uKPcmj0Dht1LWZJ+Hvr7dIFZXRUwl9VRTuuKDJ+ U44gjscknK4hhJaCkYRsWjmBtLqXlJAG2wipNe18OZJu1BBq1E8xafl4s6Jq2mUZGftU1y7CCxnp FVUDWJXx4C66BKBnErbuoaYNtoRTu6EZBsCbMn7W+5qOAR6WvxNOby9jHWC9hAf3n304CdiAByXs 3Nh9roLDkyb/sWV712vYwaLSAn8CPMHIAAzOPDKP2COAFm4Y4ODVWc6xG7KXsN7UeUJjjimx2uwd gCgNhr0i8C/xyCD5CiCKAMY3Bf5oDzx//w/fimscdcAZU2jv9sedx6+nYPPFIoWI/GK6QZ+EFGOR ErAjCnV3vPZ7XqlTIMbOLY7fLcvvmT7rXNWaGDexIY44N12TG2PDp7vqyl57dnCeuWwyNpnEURxk fTbDYeBnKRn4oejPYI4sH6WviBumEZ/GxX4X/x6EcURFZ7E071bjQGAxpcOAEOJuTiroDEea5Szv rVWLYfl7ZiQwSUToxrkux7OLixAWGz22+HIyWTRYcVfomOwvzusfjtVIGgLHf3MAAAAASUVORK5C YII= Date: Wed, 10 Sep 2014 10:52:18 +0800 In-Reply-To: (Stefan Monnier's message of "Tue, 09 Sep 2014 22:26:34 -0400") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (CentOS 6.5) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) On 2014-09-09 22:26 -0400, Stefan Monnier wrote: > I suggested `pcase-exhaustive'. > You suggested `xcase', which I don't like for namespace reasons. Would `pcasex' be acceptable? I used xcase because I cannot come up with a good enough short name, and a long name for such a fundamental macro can be annoying. Thanks, Leo From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Josh Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 10 Sep 2014 05:33:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Leo Liu Cc: 16567@debbugs.gnu.org, Helmut Eller , Stefan Monnier Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.141032717718013 (code B ref 16567); Wed, 10 Sep 2014 05:33:02 +0000 Received: (at 16567) by debbugs.gnu.org; 10 Sep 2014 05:32:57 +0000 Received: from localhost ([127.0.0.1]:35877 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRaWX-0004gT-8t for submit@debbugs.gnu.org; Wed, 10 Sep 2014 01:32:57 -0400 Received: from mail-ob0-f171.google.com ([209.85.214.171]:60325) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRaWV-0004gG-Kw for 16567@debbugs.gnu.org; Wed, 10 Sep 2014 01:32:56 -0400 Received: by mail-ob0-f171.google.com with SMTP id wn1so12784592obc.16 for <16567@debbugs.gnu.org>; Tue, 09 Sep 2014 22:32:49 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:sender:in-reply-to:references:from :date:message-id:subject:to:cc:content-type; bh=SYwO90DDWp3rKzu3EU/5T/oO9UIzQSqde+jYQ7XUozM=; b=F061tHVA7LACIGpPAJGFZwGXTI5H8XK3C/5rGKqnYhZRTo19Hb/VmaXZXqVnvI+hoA vcfA2Z+jmf8Ds+GOvvjQoCRSnWxKxpLMJo5pwrCspQAhbpDVa/Ej+ysElNBSO642+stD 9W7tL18Fs5RSHnaXp67Hc+9KaCLk12usRUnXISXTTiSRZLvhalwX8Ln3Rzgj4MqeqAvM GhSQRniL0uKVWaxw+zbDO0Dg+ELS8KKNxzf6ukYK+yzXTrrVgdy0qmoscuhxoNqvCewm jV+BgZ3LLH9ympLXbm4P/Soxf7I9SQkj4y0aXxR5kxj68UQ6wdsxUckEix5tn8QSf/Kp OHoA== X-Gm-Message-State: ALoCoQm3CR4cyLTHwEHuGXlPkvPeBZqVV+3rq5FdDjOht7Ml+6OYgnItW35rBO1FB+KxFXSQU8+3 X-Received: by 10.182.56.193 with SMTP id c1mr43756159obq.4.1410327169912; Tue, 09 Sep 2014 22:32:49 -0700 (PDT) MIME-Version: 1.0 Received: by 10.202.102.137 with HTTP; Tue, 9 Sep 2014 22:32:19 -0700 (PDT) In-Reply-To: References: From: Josh Date: Tue, 9 Sep 2014 22:32:19 -0700 X-Google-Sender-Auth: ZLZFMCMo0wJ3w_Tg0aLYawjxHyU Message-ID: Content-Type: multipart/alternative; boundary=001a11c2daf0fb19500502af613d X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) --001a11c2daf0fb19500502af613d Content-Type: text/plain; charset=UTF-8 On Tue, Sep 9, 2014 at 7:52 PM, Leo Liu wrote: > On 2014-09-09 22:26 -0400, Stefan Monnier wrote: > > I suggested `pcase-exhaustive'. > > You suggested `xcase', which I don't like for namespace reasons. > > Would `pcasex' be acceptable? I used xcase because I cannot come up with > a good enough short name, and a long name for such a fundamental macro > can be annoying. > How is the special case of erroring upon failure to match a "fundamental macro"? If this needs to exist then Stefan's suggestion of `pcase-exhaustive' or some other descriptive name seems like the way to go, but just appending "x" for the sake of brevity seems like a bad idea. Clarity is more important. --001a11c2daf0fb19500502af613d Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
On T= ue, Sep 9, 2014 at 7:52 PM, Leo Liu <sdl.web@gmail.com> wrot= e:
On 2014-09-09 22:26 -= 0400, Stefan Monnier wrote:
> I suggested `pcase-exhaustive'.
> You suggested `xcase', which I don't like for namespace reason= s.

Would `pcasex' be acceptable? I used xcase because I cannot come= up with
a good enough short name, and a long name for such a fundamental macro
can be annoying.

How is the special cas= e of erroring upon failure to match a "fundamental macro"?
<= div>If this needs to exist then Stefan's suggestion of `pcase-exhaustiv= e' or some other
descriptive name seems like the way to go, b= ut just appending "x" for the sake of
brevity seems lik= e a bad idea. =C2=A0Clarity is more important.

--001a11c2daf0fb19500502af613d-- From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Helmut Eller Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 10 Sep 2014 06:19:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Josh Cc: 16567@debbugs.gnu.org, Leo Liu , Stefan Monnier Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.141032991622445 (code B ref 16567); Wed, 10 Sep 2014 06:19:01 +0000 Received: (at 16567) by debbugs.gnu.org; 10 Sep 2014 06:18:36 +0000 Received: from localhost ([127.0.0.1]:35888 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRbEh-0005pw-Dm for submit@debbugs.gnu.org; Wed, 10 Sep 2014 02:18:35 -0400 Received: from mail-we0-f169.google.com ([74.125.82.169]:48181) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRbEe-0005pg-MS for 16567@debbugs.gnu.org; Wed, 10 Sep 2014 02:18:33 -0400 Received: by mail-we0-f169.google.com with SMTP id w61so3244245wes.0 for <16567@debbugs.gnu.org>; Tue, 09 Sep 2014 23:18:26 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-type; bh=fB9izXQP3f7C6Yofmspho0GoISjKLgjoGZZ5aqiGya4=; b=LLxRi6KcyTFZnelJJ+qDzJG+ArrtJXc0eD2te7LsP0yeehc4uaM2BPwIpzmXP3nzQh 3EtptXIP1BD2p7itxgUkTzrMCiunNYyqFr+4tIIQuB3NBkcMxD94OPfkW9kP9i+r35SL pwMyQqcyvpM5qVJa178x9og4LZAZMuNF23pSZZWswUtNWrGXpWcpC0aqIkz93jVIlljx F4/Sh2RJZxzLJaWxi27oKTGgqD3ADK53fKptxaqJmu61PYJ0inDDO8HyGBfL/XQYTmcp LCkrqPLAnjIxTAU9e/EDZfxd2PsVANaqIj0haTYqjhURDrCigZubqrNXS2aOsbcmQFTv 8+zg== X-Received: by 10.194.238.195 with SMTP id vm3mr46324570wjc.91.1410329906944; Tue, 09 Sep 2014 23:18:26 -0700 (PDT) Received: from ix ([212.46.171.153]) by mx.google.com with ESMTPSA id pn5sm17301647wjc.4.2014.09.09.23.18.25 for (version=TLSv1.2 cipher=RC4-SHA bits=128/128); Tue, 09 Sep 2014 23:18:26 -0700 (PDT) Received: from helmut by ix with local (Exim 4.80) (envelope-from ) id 1XRbEW-0000uV-6B; Wed, 10 Sep 2014 08:18:24 +0200 From: Helmut Eller References: Date: Wed, 10 Sep 2014 08:18:24 +0200 In-Reply-To: (josh@foxtail.org's message of "Tue, 9 Sep 2014 22:32:19 -0700") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) On Tue, Sep 09 2014, Josh wrote: > How is the special case of erroring upon failure to match a "fundamental > macro"? It's not a special case. It's by far the most common case for me. Helmut From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 10 Sep 2014 13:18:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Leo Liu Cc: 16567@debbugs.gnu.org, Helmut Eller Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.14103550564109 (code B ref 16567); Wed, 10 Sep 2014 13:18:02 +0000 Received: (at 16567) by debbugs.gnu.org; 10 Sep 2014 13:17:36 +0000 Received: from localhost ([127.0.0.1]:36073 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRhmB-00014D-Hp for submit@debbugs.gnu.org; Wed, 10 Sep 2014 09:17:35 -0400 Received: from chene.dit.umontreal.ca ([132.204.246.20]:51057) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRhm9-000144-BG for 16567@debbugs.gnu.org; Wed, 10 Sep 2014 09:17:33 -0400 Received: from pastel.home (lechon.iro.umontreal.ca [132.204.27.242]) by chene.dit.umontreal.ca (8.14.1/8.14.1) with ESMTP id s8ADHVOn022249; Wed, 10 Sep 2014 09:17:31 -0400 Received: by pastel.home (Postfix, from userid 20848) id 422E560608; Wed, 10 Sep 2014 09:17:31 -0400 (EDT) From: Stefan Monnier Message-ID: References: Date: Wed, 10 Sep 2014 09:17:31 -0400 In-Reply-To: (Leo Liu's message of "Wed, 10 Sep 2014 10:52:18 +0800") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-NAI-Spam-Flag: NO X-NAI-Spam-Threshold: 5 X-NAI-Spam-Score: 0 X-NAI-Spam-Rules: 1 Rules triggered RV5059=0 X-NAI-Spam-Version: 2.3.0.9378 : core <5059> : inlines <1275> : streams <1286131> : uri <1812249> X-Spam-Score: -3.8 (---) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.8 (---) > Would `pcasex' be acceptable? It's kind of ugly, and I'm not sure what the "x" stands for. > I used xcase because I cannot come up with a good enough short name, > and a long name for such a fundamental macro can be annoying. `pcase-e TAB' should expand to `pcase-exhaustive', so the length is not that troublesome, unless you're concerned about line-length and indentation (in which case the length of `pcase-exhaustive' may indeed occasionally force you to use an extra line). I'm open to other suggestions, and `pcasex' is not unacceptable, so I think we're closing in. Stefan From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Helmut Eller Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 10 Sep 2014 14:29:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Stefan Monnier Cc: 16567@debbugs.gnu.org, Leo Liu Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.141035933011321 (code B ref 16567); Wed, 10 Sep 2014 14:29:01 +0000 Received: (at 16567) by debbugs.gnu.org; 10 Sep 2014 14:28:50 +0000 Received: from localhost ([127.0.0.1]:36686 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRit8-0002wX-D6 for submit@debbugs.gnu.org; Wed, 10 Sep 2014 10:28:50 -0400 Received: from mail-wg0-f41.google.com ([74.125.82.41]:50142) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRit6-0002wI-Ga for 16567@debbugs.gnu.org; Wed, 10 Sep 2014 10:28:49 -0400 Received: by mail-wg0-f41.google.com with SMTP id k14so3801694wgh.0 for <16567@debbugs.gnu.org>; Wed, 10 Sep 2014 07:28:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-type; bh=pNExhRkPnIHl3DgYdwHmpHvciG8mdZ9E4udlEsjQap4=; b=ebm7PsrP4qAlERZ4X9ztNLD7ilbZTJQsnO0vzIAgMSxppfNJqDt1NXriE0GLVulqgC m9Rrt/+lBHIQwrHmqkRHRIkdLaFjeL1W8llkBF6y2YAWHrUXK8YlfWS25BFjDVeYixJx /JIYJWDjfTwX2aMAVLKYFTORVFqU9jIa8uxinaUDZ4oeKmQn1OQdeSSnsKaXVFqMArz6 m9jaEMg9kwrEDq0eVMar1rnczvqWFeC7/pRlCrtN1jO3SINc2u9HjvuY0Ww0SB9Fts65 c/3CtHENtNEmqDAceEMXQAj7Y99KbnGNOfx/s9hP6nB5YjOqT+aDv1uMn1bNKvufkzZV eIyg== X-Received: by 10.194.63.37 with SMTP id d5mr51153467wjs.92.1410359322802; Wed, 10 Sep 2014 07:28:42 -0700 (PDT) Received: from ix ([212.46.177.50]) by mx.google.com with ESMTPSA id ec18sm1052821wic.0.2014.09.10.07.28.41 for (version=TLSv1.2 cipher=RC4-SHA bits=128/128); Wed, 10 Sep 2014 07:28:41 -0700 (PDT) Received: from helmut by ix with local (Exim 4.80) (envelope-from ) id 1XRisy-0001Wa-C2; Wed, 10 Sep 2014 16:28:40 +0200 From: Helmut Eller References: Date: Wed, 10 Sep 2014 16:28:40 +0200 In-Reply-To: (Stefan Monnier's message of "Wed, 10 Sep 2014 09:17:31 -0400") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) On Wed, Sep 10 2014, Stefan Monnier wrote: > I'm open to other suggestions, and `pcasex' is not unacceptable, so > I think we're closing in. pcase* looks less exotic that pcasex; though it's harder to type. BTW, I find it surprising that this doesn't signal an error: (pcase-let ((`(1 ,x) '("foo"))) x) But I suspect that "it's not an option" to change pcase-let. Helmut From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Leo Liu Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 10 Sep 2014 14:34:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Stefan Monnier Cc: 16567@debbugs.gnu.org, Helmut Eller Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.141035960611848 (code B ref 16567); Wed, 10 Sep 2014 14:34:02 +0000 Received: (at 16567) by debbugs.gnu.org; 10 Sep 2014 14:33:26 +0000 Received: from localhost ([127.0.0.1]:36695 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRixa-000352-39 for submit@debbugs.gnu.org; Wed, 10 Sep 2014 10:33:26 -0400 Received: from mail-pa0-f47.google.com ([209.85.220.47]:60118) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRixY-00034o-9C for 16567@debbugs.gnu.org; Wed, 10 Sep 2014 10:33:24 -0400 Received: by mail-pa0-f47.google.com with SMTP id ey11so9468698pad.34 for <16567@debbugs.gnu.org>; Wed, 10 Sep 2014 07:33:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:face:date:in-reply-to:message-id :user-agent:mime-version:content-type; bh=5TikZkGupyLk8uqc63Vg93M01F5aM3OOS84GO5/OhiQ=; b=vucnD60l4e43yEfMRoSGjbStYwC6rXMmrM8IRO8ATFbqLzZrDUhHh+doiQ4lTWkcgV /iQ3LevFHZkBDXc+1xgFeGG/y0HhLxHWC/Bg34x6KxLgE6izye1poZuS+gKY0ynogGiB c+u1dM6p8mS05qqwX8XcktI15e5zd1SHvKz1YqqDwWwazEyFqBaMszDeB+pJGwdsb1P8 0BaaXwstyyxMl7KaF9yGoxtGfmBb1iJ/jxHGFLst9NTsBAtYRD1DgWqoL3UlW5VjoXjL wyQWr1Id/imtCbSia5xPjNaYVdTYzn12MPA/ZV3oWDX8Lb48NCUEJXh0Hta9ayRmb5RJ LhNg== X-Received: by 10.67.4.1 with SMTP id ca1mr67478635pad.50.1410359598504; Wed, 10 Sep 2014 07:33:18 -0700 (PDT) Received: from fortuna ([114.248.254.149]) by mx.google.com with ESMTPSA id ps1sm11054675pac.41.2014.09.10.07.33.15 for (version=TLSv1.1 cipher=RC4-SHA bits=128/128); Wed, 10 Sep 2014 07:33:18 -0700 (PDT) From: Leo Liu References: Face: iVBORw0KGgoAAAANSUhEUgAAACgAAAAoBAMAAAB+0KVeAAAAG1BMVEUAAAA9Cgm3Hx1WWFWA gn+WmJWsrqv4+vcCAwCRl2MkAAAAAXRSTlMAQObYZgAAAAFiS0dEAIgFHUgAAAAJcEhZcwAAAYoA AAGKATOXMFgAAAAHdElNRQfXAQwDNR+ZJmElAAABIklEQVQoz22SPW+DQAyGWUq65qasd9PNUSX4 AZHK2C1rJy5jpDS4IwRVup9dn7GNafpKIPPgzztXFSujqq1eM2n8h22oMkvxI/i9C97kRfMRUN55 dS3BrsAwBXUtMLAO4lryh8kTjOxKpQNniNxAgZOEe4bZwsDTFhKdqZRLNII4OQNHhEuq/RMkm6Cj TnnEA/fk0BorcYn5qA3oaeAxbaBOLrX+9G48NZ2Fzc2tzDM8Q+tMypEOqYHh8mAWaaK3U/cDMOT5 aMZMABgPXc7zPMs1A8DXO756GFJ/4fMEq47hTsAdn5avoxZ4ywl0c2w4Flu2Ybeyb3S+EqxX2DYA H8veJGEDTnHnrXvRaPyt+2kSfK6rfBZ2tUtfP/mR+pR6sX8BUZ/cDV7tvkoAAAAASUVORK5CYII= Date: Wed, 10 Sep 2014 22:33:11 +0800 In-Reply-To: (Stefan Monnier's message of "Wed, 10 Sep 2014 09:17:31 -0400") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (CentOS 6.5) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) On 2014-09-10 09:17 -0400, Stefan Monnier wrote: > unless you're concerned about line-length and > indentation (in which case the length of `pcase-exhaustive' may indeed > occasionally force you to use an extra line). > > I'm open to other suggestions, and `pcasex' is not unacceptable, so > I think we're closing in. pcasex = PCASe + EXhaustive Yes, line length and indentation is my main concern. Leo From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Glenn Morris Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 10 Sep 2014 16:55:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Stefan Monnier Cc: 16567@debbugs.gnu.org, Helmut Eller , Leo Liu Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.14103680853224 (code B ref 16567); Wed, 10 Sep 2014 16:55:02 +0000 Received: (at 16567) by debbugs.gnu.org; 10 Sep 2014 16:54:45 +0000 Received: from localhost ([127.0.0.1]:36826 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRlAK-0000pv-Hn for submit@debbugs.gnu.org; Wed, 10 Sep 2014 12:54:45 -0400 Received: from fencepost.gnu.org ([208.118.235.10]:37518 ident=Debian-exim) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRlAI-0000pk-8W for 16567@debbugs.gnu.org; Wed, 10 Sep 2014 12:54:43 -0400 Received: from rgm by fencepost.gnu.org with local (Exim 4.71) (envelope-from ) id 1XRlAH-0003lY-IK; Wed, 10 Sep 2014 12:54:41 -0400 From: Glenn Morris References: X-Spook: SSL BLU-97 A/B Watergate Semtex UOP Syria Ft. Meade Arnett X-Ran: uT*%.!m+3cw5L_&hO1 X-Hue: green X-Attribution: GM Date: Wed, 10 Sep 2014 12:54:41 -0400 In-Reply-To: (Stefan Monnier's message of "Wed, 10 Sep 2014 09:17:31 -0400") Message-ID: User-Agent: Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam-Score: -7.5 (-------) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -7.5 (-------) Stefan Monnier wrote: > I'm open to other suggestions, and `pcasex' is not unacceptable, so > I think we're closing in. And would you be prepared to add the entirely-equivalent-but-somehow-we-managed-fine-without-them-all-this-time condx and cl-casex? From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 10 Sep 2014 17:27:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Helmut Eller Cc: 16567@debbugs.gnu.org, Leo Liu Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.141036998511283 (code B ref 16567); Wed, 10 Sep 2014 17:27:01 +0000 Received: (at 16567) by debbugs.gnu.org; 10 Sep 2014 17:26:25 +0000 Received: from localhost ([127.0.0.1]:36967 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRley-0002vv-NN for submit@debbugs.gnu.org; Wed, 10 Sep 2014 13:26:25 -0400 Received: from pruche.dit.umontreal.ca ([132.204.246.22]:56865) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRlev-0002vk-Lv for 16567@debbugs.gnu.org; Wed, 10 Sep 2014 13:26:22 -0400 Received: from pastel.home (lechon.iro.umontreal.ca [132.204.27.242]) by pruche.dit.umontreal.ca (8.14.1/8.14.1) with ESMTP id s8AHQKBI021658; Wed, 10 Sep 2014 13:26:20 -0400 Received: by pastel.home (Postfix, from userid 20848) id DBEAB63DE7; Wed, 10 Sep 2014 13:26:14 -0400 (EDT) From: Stefan Monnier Message-ID: References: Date: Wed, 10 Sep 2014 13:26:14 -0400 In-Reply-To: (Helmut Eller's message of "Wed, 10 Sep 2014 16:28:40 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-NAI-Spam-Flag: NO X-NAI-Spam-Threshold: 5 X-NAI-Spam-Score: 0 X-NAI-Spam-Rules: 1 Rules triggered RV5060=0 X-NAI-Spam-Version: 2.3.0.9378 : core <5060> : inlines <1276> : streams <1286507> : uri <1812426> X-Spam-Score: -3.8 (---) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.8 (---) >> I'm open to other suggestions, and `pcasex' is not unacceptable, so >> I think we're closing in. > pcase* looks less exotic that pcasex; though it's harder to type. > BTW, I find it surprising that this doesn't signal an error: > (pcase-let ((`(1 ,x) '("foo"))) > x) Indeed, the semantics of pcase-let is a bit subtle: rather than use the pattern as a filter to decide whether to match or not, it just assumes that the match is a success and accesses the data accordingly. So the above expands to something morally equivalent to (let ((x (cadr '("foo")))) x) > But I suspect that "it's not an option" to change pcase-let. I don't think backward compatibility is as much of an issue for pcase-let, but the motivation for this semantics was efficiency, and this is still as valid as ever, AFAIK. For single-branch pcase-let, the alternative (pcase-exhaustive '("foo") (`(1 ,x) x)) is a good replacement to get the semantics you expect. But admittedly, for if you have several bindings in your pcase-let, the equivalent pcase-exhaustive can become inconvenient. Stefan From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Richard Stallman Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 10 Sep 2014 17:40:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Stefan Monnier Cc: 16567@debbugs.gnu.org, eller.helmut@gmail.com, sdl.web@gmail.com Reply-To: rms@gnu.org Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.141037075512513 (code B ref 16567); Wed, 10 Sep 2014 17:40:01 +0000 Received: (at 16567) by debbugs.gnu.org; 10 Sep 2014 17:39:15 +0000 Received: from localhost ([127.0.0.1]:36978 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRlrP-0003Fk-Bb for submit@debbugs.gnu.org; Wed, 10 Sep 2014 13:39:15 -0400 Received: from fencepost.gnu.org ([208.118.235.10]:38763 ident=Debian-exim) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRlrN-0003Fd-IV for 16567@debbugs.gnu.org; Wed, 10 Sep 2014 13:39:14 -0400 Received: from rms by fencepost.gnu.org with local (Exim 4.71) (envelope-from ) id 1XRlrM-0005js-T1; Wed, 10 Sep 2014 13:39:12 -0400 Date: Wed, 10 Sep 2014 13:39:12 -0400 Message-Id: Content-Type: text/plain; charset=ISO-8859-15 From: Richard Stallman In-reply-to: (message from Stefan Monnier on Wed, 10 Sep 2014 09:17:31 -0400) References: X-Spam-Score: -7.5 (-------) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -7.5 (-------) [[[ To any NSA and FBI agents reading my email: please consider ]]] [[[ whether defending the US Constitution against all enemies, ]]] [[[ foreign or domestic, requires you to follow Snowden's example. ]]] pcasex means sex on a very small scale ;-) -- Dr Richard Stallman President, Free Software Foundation 51 Franklin St Boston MA 02110 USA www.fsf.org www.gnu.org Skype: No way! That's nonfree (freedom-denying) software. Use Ekiga or an ordinary phone call. From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 10 Sep 2014 17:55:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Glenn Morris Cc: 16567@debbugs.gnu.org, Helmut Eller , Leo Liu Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.141037166313915 (code B ref 16567); Wed, 10 Sep 2014 17:55:02 +0000 Received: (at 16567) by debbugs.gnu.org; 10 Sep 2014 17:54:23 +0000 Received: from localhost ([127.0.0.1]:36985 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRm62-0003cK-O4 for submit@debbugs.gnu.org; Wed, 10 Sep 2014 13:54:23 -0400 Received: from chene.dit.umontreal.ca ([132.204.246.20]:58570) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XRm60-0003cA-0I for 16567@debbugs.gnu.org; Wed, 10 Sep 2014 13:54:20 -0400 Received: from pastel.home (lechon.iro.umontreal.ca [132.204.27.242]) by chene.dit.umontreal.ca (8.14.1/8.14.1) with ESMTP id s8AHsIx7002639; Wed, 10 Sep 2014 13:54:18 -0400 Received: by pastel.home (Postfix, from userid 20848) id 6E93C63DE7; Wed, 10 Sep 2014 13:54:18 -0400 (EDT) From: Stefan Monnier Message-ID: References: Date: Wed, 10 Sep 2014 13:54:18 -0400 In-Reply-To: (Glenn Morris's message of "Wed, 10 Sep 2014 12:54:41 -0400") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-NAI-Spam-Flag: NO X-NAI-Spam-Threshold: 5 X-NAI-Spam-Score: 0 X-NAI-Spam-Rules: 1 Rules triggered RV5060=0 X-NAI-Spam-Version: 2.3.0.9378 : core <5060> : inlines <1276> : streams <1286524> : uri <1812426> X-Spam-Score: -3.8 (---) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.8 (---) >> I'm open to other suggestions, and `pcasex' is not unacceptable, so >> I think we're closing in. > And would you be prepared to add the > entirely-equivalent-but-somehow-we-managed-fine-without-them-all-this-time > condx and cl-casex? We already have `cl-ecase'. As for `condx', no I'd rather not ;-) Stefan From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Leo Liu Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 12 Sep 2014 02:36:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Stefan Monnier Cc: 16567@debbugs.gnu.org, Glenn Morris , Helmut Eller Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.141048934123481 (code B ref 16567); Fri, 12 Sep 2014 02:36:02 +0000 Received: (at 16567) by debbugs.gnu.org; 12 Sep 2014 02:35:41 +0000 Received: from localhost ([127.0.0.1]:38719 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XSGi4-00066b-7J for submit@debbugs.gnu.org; Thu, 11 Sep 2014 22:35:40 -0400 Received: from mail-pa0-f49.google.com ([209.85.220.49]:36136) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XSGi1-00066S-F2 for 16567@debbugs.gnu.org; Thu, 11 Sep 2014 22:35:38 -0400 Received: by mail-pa0-f49.google.com with SMTP id lf10so183787pab.8 for <16567@debbugs.gnu.org>; Thu, 11 Sep 2014 19:35:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:face:date:in-reply-to:message-id :user-agent:mime-version:content-type; bh=aD9tIjmEmZucFIbc27nl2dS7znLDAN8z1b+oNT6f/H0=; b=CmdcHXa+9A1ni+AXqzrMPnigFlX7DZBpt/0kK6/5mxFfbK9jfWktPxNUOm3XcUgJVn BUeuzlZvQqXUaN9EfD5Q+yf3zuYurDAIx5Bcte2H6TAMYz/0XGjShWSyhCPp4pTeL3Is f765UXf3ys8VUckB6qh3u8QKzaS6SD4s0AGVxru/gaYd43Lvb0e6tqmrlnYhb1uyiJcw vDooqa71LXViGj72eGT2Nbp6E6a6PW4BEztuE8ijL0scmOfPk2AjxHv1OvE+dBaImrg2 wm6WcNp0rXEBCfG51zRQdmTFvRoUK2AyMBfjSmVCsYgmlFUDOhL/4qaOIPvF+tpwI0v/ 51jg== X-Received: by 10.70.50.170 with SMTP id d10mr2852366pdo.33.1410489336476; Thu, 11 Sep 2014 19:35:36 -0700 (PDT) Received: from fortuna ([114.248.254.149]) by mx.google.com with ESMTPSA id jw6sm2238347pbc.79.2014.09.11.19.35.33 for (version=TLSv1.1 cipher=RC4-SHA bits=128/128); Thu, 11 Sep 2014 19:35:35 -0700 (PDT) From: Leo Liu References: Face: iVBORw0KGgoAAAANSUhEUgAAACgAAAAoBAMAAAB+0KVeAAAAGFBMVEUzRVhbQj4eZqO6SjnT eWpxnMetm5b6/PmidmqrAAAAAWJLR0QAiAUdSAAAAAlwSFlzAAALEwAACxMBAJqcGAAAAAd0SU1F B9cBBwMLBfKABCMAAAFoSURBVCjPtZI9a8MwEIaFoc7aYDdelQMna0Em3tsSr0XUeE2Q6a22a+v+ fk8fSSBkbDUI6dHpfe9OEvRgiD+ApqKPJgJeB6iUUXWESjUe/ig38AJrhqqvaU2nTIXbNvOQ40fe qdry4kyGoVWsfCQalXpHnJGM01wjWdYbMlXNFdsZDO69m9aqNqxEJqTEgbM5OF7wlEfIoll1Ked4 LbM5X2EdILLokEdmI8z7g5cKED0cuTC930TYhy7ZDekkXVGw/L60TguJePPxcJF48lpsSUWEA/Ju jGFNgJOXc4Hz7TmAdBeu5Ve4AEjOi2/2jfd3cAJZ+IbNrvdjgBZY01b+HTuG3cLws6BJZqVOj/pp T0OqVwx3rFq+QmJwx3loK5JSLEhDIt62+mtC2C+SrAUxEbV6C6v2BRbd6pILBKFpepKZJHgGgrKF sptSUUoczpwg2pQ7ZH1tgs0ou/917mzz6Cs2//C978cv5l07L02orIEAAAAASUVORK5CYII= Date: Fri, 12 Sep 2014 10:35:29 +0800 In-Reply-To: (Stefan Monnier's message of "Wed, 10 Sep 2014 13:54:18 -0400") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (CentOS 6.5) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) Stefan, Which name would you prefer, `epcase' or 'pcasex'? Do you see any problems with the following patch (assume `pcasex' for now)? Thanks, Leo === modified file 'lisp/emacs-lisp/lisp-mode.el' --- lisp/emacs-lisp/lisp-mode.el 2014-06-19 14:03:45 +0000 +++ lisp/emacs-lisp/lisp-mode.el 2014-09-12 02:28:44 +0000 @@ -197,7 +197,7 @@ (el-vdefs '("defconst" "defcustom" "defvaralias" "defvar-local" "defface")) (el-tdefs '("defgroup" "deftheme")) - (el-kw '("while-no-input" "letrec" "pcase" "pcase-let" + (el-kw '("while-no-input" "letrec" "pcase" "pcasex" "pcase-let" "pcase-let*" "save-restriction" "save-excursion" "save-selected-window" ;; "eval-after-load" "eval-next-after-load" === modified file 'lisp/emacs-lisp/pcase.el' --- lisp/emacs-lisp/pcase.el 2014-09-06 00:59:00 +0000 +++ lisp/emacs-lisp/pcase.el 2014-09-10 10:44:59 +0000 @@ -68,6 +68,8 @@ (defconst pcase--dontcare-upats '(t _ pcase--dontcare)) +(defvar pcase--dontwarn-upats '(pcase--dontcare)) + (def-edebug-spec pcase-UPAT (&or symbolp @@ -148,6 +150,15 @@ ;; (puthash (car cases) `(,exp ,cases ,@expansion) pcase--memoize-2) expansion)))) +;;;###autoload +(defmacro pcasex (exp &rest cases) + "The exhausitive version of `pcase' (which see)." + (declare (indent 1) (debug pcase)) + (let* ((x (make-symbol "x")) + (pcase--dontwarn-upats (cons x pcase--dontwarn-upats))) + (pcase--expand + exp (append cases `((,x (error "No clause matching `%S'" ,x))))))) + (defun pcase--let* (bindings body) (cond ((null bindings) (macroexp-progn body)) @@ -280,7 +291,8 @@ vars)))) cases)))) (dolist (case cases) - (unless (or (memq case used-cases) (eq (car case) 'pcase--dontcare)) + (unless (or (memq case used-cases) + (memq (car case) pcase--dontwarn-upats)) (message "Redundant pcase pattern: %S" (car case)))) (macroexp-let* defs main)))) From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 12 Sep 2014 17:16:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Leo Liu Cc: 16567@debbugs.gnu.org, Glenn Morris , Helmut Eller Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.141054214223665 (code B ref 16567); Fri, 12 Sep 2014 17:16:01 +0000 Received: (at 16567) by debbugs.gnu.org; 12 Sep 2014 17:15:42 +0000 Received: from localhost ([127.0.0.1]:39620 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XSURh-00069c-8Y for submit@debbugs.gnu.org; Fri, 12 Sep 2014 13:15:42 -0400 Received: from mercure.iro.umontreal.ca ([132.204.24.67]:36390) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XSURZ-00069O-O6 for 16567@debbugs.gnu.org; Fri, 12 Sep 2014 13:15:38 -0400 Received: from hidalgo.iro.umontreal.ca (hidalgo.iro.umontreal.ca [132.204.27.50]) by mercure.iro.umontreal.ca (Postfix) with ESMTP id 0B86F85083; Fri, 12 Sep 2014 13:15:33 -0400 (EDT) Received: from lechon.iro.umontreal.ca (lechon.iro.umontreal.ca [132.204.27.242]) by hidalgo.iro.umontreal.ca (Postfix) with ESMTP id 7B5C81E5B8A; Fri, 12 Sep 2014 13:15:08 -0400 (EDT) Received: by lechon.iro.umontreal.ca (Postfix, from userid 20848) id 5D0D0B41B5; Fri, 12 Sep 2014 13:15:08 -0400 (EDT) From: Stefan Monnier Message-ID: References: Date: Fri, 12 Sep 2014 13:15:08 -0400 In-Reply-To: (Leo Liu's message of "Fri, 12 Sep 2014 10:35:29 +0800") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-DIRO-MailScanner-Information: Please contact the ISP for more information X-DIRO-MailScanner: Found to be clean X-DIRO-MailScanner-SpamCheck: n'est pas un polluriel, SpamAssassin (score=-2.82, requis 5, autolearn=not spam, ALL_TRUSTED -2.82, MC_TSTLAST 0.00) X-DIRO-MailScanner-From: monnier@iro.umontreal.ca X-Spam-Status: No X-Spam-Score: -4.5 (----) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -4.5 (----) > Which name would you prefer, `epcase' or 'pcasex'? Do you see any > problems with the following patch (assume `pcasex' for now)? For now, pcase-exhaustive is still a better choice. A quick grep shows that most first args to pcase are rather short, so the line-length argument is not very compelling. Stefan From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Leo Liu Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 13 Sep 2014 00:30:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Stefan Monnier Cc: 16567@debbugs.gnu.org, Helmut Eller Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.141056818831442 (code B ref 16567); Sat, 13 Sep 2014 00:30:03 +0000 Received: (at 16567) by debbugs.gnu.org; 13 Sep 2014 00:29:48 +0000 Received: from localhost ([127.0.0.1]:39730 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XSbDo-0008B3-Cj for submit@debbugs.gnu.org; Fri, 12 Sep 2014 20:29:48 -0400 Received: from mail-pa0-f50.google.com ([209.85.220.50]:61261) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XSbDl-0008Aq-GY for 16567@debbugs.gnu.org; Fri, 12 Sep 2014 20:29:46 -0400 Received: by mail-pa0-f50.google.com with SMTP id bj1so2345577pad.9 for <16567@debbugs.gnu.org>; Fri, 12 Sep 2014 17:29:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:face:date:in-reply-to:message-id :user-agent:mime-version:content-type; bh=zx9TWzfC9ySqObkXeQ/eCY5sDbQfZKxUePUJD8gFwdE=; b=JvI9yz//sOuu0CJvSJ6w++sC/Q3DI7KQOND82k+hDobHu9s0EIrnAVCkNh+e0MDvLa Js9X3tjg8Z2Dy2yAcvQygSVrlkAWiYghmnvqPQmGdsAfcq6MIpUXTdsIjPC5GHKHRluA W1jOJc5Qq6xz+Y+3waYyNVc4XNdAJa0UL/frVFxogNr101hWFRr/i69VbHds4Mucm1Nb /YIEo3i5Cgago+hfxg3Q2odAkDh6PtFQo9UW8BjYkyuKPw55SDMnBpmuKhfQzvxA5tco 53EAOrMS7XlMpTf2s0Atu7O9tnQBhfOguA6uFBSj+WdVTYRq/M4CUXqulWPY0pp1rEyD PL3Q== X-Received: by 10.70.102.200 with SMTP id fq8mr18601461pdb.152.1410568184484; Fri, 12 Sep 2014 17:29:44 -0700 (PDT) Received: from fortuna ([114.248.254.149]) by mx.google.com with ESMTPSA id i10sm4979922pdn.26.2014.09.12.17.29.41 for (version=TLSv1.1 cipher=RC4-SHA bits=128/128); Fri, 12 Sep 2014 17:29:43 -0700 (PDT) From: Leo Liu References: Face: iVBORw0KGgoAAAANSUhEUgAAACgAAAAoBAMAAAB+0KVeAAAAMFBMVEUaFRZLMy1dTENxVzKQ WiCrXQ97cmO/dSqSh3akjGTApXy5sJ7Sxo/Sz8Xo6eP9//xJbkruAAAAAWJLR0QAiAUdSAAAAAlw SFlzAAACxQAAAsUBidZ/7wAAAAd0SU1FB9cBBwMJOwHXewoAAAIBSURBVCjPVdNBiNNAFADQ6J4F x3hThHZBBC+WCFI8SS0iezRDcMHLHkLAg6gJH/fgYQ9xYlj2sLK4KHgqCgXFhda2Idmr4kkQPZQ0 nkQMbTypbMmMM2m7ZgYSmMef/5OZPwo7HFnx3uKPcmj0Dht1LWZJ+Hvr7dIFZXRUwl9VRTuuKDJ+ U44gjscknK4hhJaCkYRsWjmBtLqXlJAG2wipNe18OZJu1BBq1E8xafl4s6Jq2mUZGftU1y7CCxnp FVUDWJXx4C66BKBnErbuoaYNtoRTu6EZBsCbMn7W+5qOAR6WvxNOby9jHWC9hAf3n304CdiAByXs 3Nh9roLDkyb/sWV712vYwaLSAn8CPMHIAAzOPDKP2COAFm4Y4ODVWc6xG7KXsN7UeUJjjimx2uwd gCgNhr0i8C/xyCD5CiCKAMY3Bf5oDzx//w/fimscdcAZU2jv9sedx6+nYPPFIoWI/GK6QZ+EFGOR ErAjCnV3vPZ7XqlTIMbOLY7fLcvvmT7rXNWaGDexIY44N12TG2PDp7vqyl57dnCeuWwyNpnEURxk fTbDYeBnKRn4oejPYI4sH6WviBumEZ/GxX4X/x6EcURFZ7E071bjQGAxpcOAEOJuTiroDEea5Szv rVWLYfl7ZiQwSUToxrkux7OLixAWGz22+HIyWTRYcVfomOwvzusfjtVIGgLHf3MAAAAASUVORK5C YII= Date: Sat, 13 Sep 2014 08:29:38 +0800 In-Reply-To: (Stefan Monnier's message of "Fri, 12 Sep 2014 13:15:08 -0400") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (CentOS 6.5) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) On 2014-09-12 13:15 -0400, Stefan Monnier wrote: > For now, pcase-exhaustive is still a better choice. > A quick grep shows that most first args to pcase are rather short, so > the line-length argument is not very compelling. OK, let's go with `pcase-exhaustive' for now. Any objection if we also make an short alias to it for the convenience of people that know they want the exhaustive version most of the time? Leo From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 13 Sep 2014 03:11:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Leo Liu Cc: 16567@debbugs.gnu.org, Helmut Eller Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.141057785513747 (code B ref 16567); Sat, 13 Sep 2014 03:11:02 +0000 Received: (at 16567) by debbugs.gnu.org; 13 Sep 2014 03:10:55 +0000 Received: from localhost ([127.0.0.1]:39759 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XSdji-0003Ze-CG for submit@debbugs.gnu.org; Fri, 12 Sep 2014 23:10:54 -0400 Received: from ironport2-out.teksavvy.com ([206.248.154.181]:9448) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XSdje-0003ZQ-0k for 16567@debbugs.gnu.org; Fri, 12 Sep 2014 23:10:51 -0400 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArYGAIDvNVNFpZEG/2dsb2JhbABZgwaDSr0vgw6BFxd0giUBAQEBAgFWIxALDiYSFBgNJIgECNIZF456B4Q4BKkZgWqDTCE X-IPAS-Result: ArYGAIDvNVNFpZEG/2dsb2JhbABZgwaDSr0vgw6BFxd0giUBAQEBAgFWIxALDiYSFBgNJIgECNIZF456B4Q4BKkZgWqDTCE X-IronPort-AV: E=Sophos;i="4.97,753,1389762000"; d="scan'208";a="89573855" Received: from 69-165-145-6.dsl.teksavvy.com (HELO ceviche.home) ([69.165.145.6]) by ironport2-out.teksavvy.com with ESMTP/TLS/DHE-RSA-AES256-SHA; 12 Sep 2014 23:10:48 -0400 Received: by ceviche.home (Postfix, from userid 20848) id CF41367288; Fri, 12 Sep 2014 23:10:48 -0400 (EDT) From: Stefan Monnier Message-ID: References: Date: Fri, 12 Sep 2014 23:10:48 -0400 In-Reply-To: (Leo Liu's message of "Sat, 13 Sep 2014 08:29:38 +0800") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.3 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.3 (/) >> For now, pcase-exhaustive is still a better choice. >> A quick grep shows that most first args to pcase are rather short, so >> the line-length argument is not very compelling. > OK, let's go with `pcase-exhaustive' for now. Any objection if we also > make an short alias to it for the convenience of people that know they > want the exhaustive version most of the time? No, I'd rather wait to see if it's really used that often. If it turns out to be popular, we can then add a shorter version. Stefan From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Leo Liu Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 13 Sep 2014 04:58:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Stefan Monnier Cc: 16567@debbugs.gnu.org, Helmut Eller Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.141058424923291 (code B ref 16567); Sat, 13 Sep 2014 04:58:02 +0000 Received: (at 16567) by debbugs.gnu.org; 13 Sep 2014 04:57:29 +0000 Received: from localhost ([127.0.0.1]:39783 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XSfOq-00063b-Rf for submit@debbugs.gnu.org; Sat, 13 Sep 2014 00:57:29 -0400 Received: from mail-pa0-f47.google.com ([209.85.220.47]:39214) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XSfOm-00063R-JU for 16567@debbugs.gnu.org; Sat, 13 Sep 2014 00:57:25 -0400 Received: by mail-pa0-f47.google.com with SMTP id ey11so2677099pad.6 for <16567@debbugs.gnu.org>; Fri, 12 Sep 2014 21:57:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:face:date:in-reply-to:message-id :user-agent:mime-version:content-type; bh=H7wYVHdb/5PWeh1dR1eLP1rD7gDj4hPuOpqwbnfu/KQ=; b=hSXvtd6fWTka65K7HXGOGv0QETJHRnYlAn/UpCbYFouG6hrr0qgbfuI/TLDGUO8E4l R+926xVNX6jmP5c1CNcIt9m3CUl6NhyJjT2ZkcxG5xT1+7bYbAJj4c27AIRFo+AWxnc9 um+HJLOVqFBU2Rs8C8fJOcfWLGGcgArzDsNjfK8zsA3vykeukTqLSLV0DUS41Q3SaN+a bBEi8+PP3AdyflEcVl4B2zjqscIwDYiKGzVvMrCUZ8edDtXGPIog5n3R30jK0a5zo+Jy suTPwaYwJLrf7PSkcgU8jlVOqAgHd8t4MBsVnz9PjSfno66TesaGGIwZReBfM6ox5q5b EkSQ== X-Received: by 10.70.59.104 with SMTP id y8mr20770016pdq.1.1410584243326; Fri, 12 Sep 2014 21:57:23 -0700 (PDT) Received: from fortuna ([114.248.254.149]) by mx.google.com with ESMTPSA id i9sm5388904pbq.17.2014.09.12.21.57.20 for (version=TLSv1.1 cipher=RC4-SHA bits=128/128); Fri, 12 Sep 2014 21:57:22 -0700 (PDT) From: Leo Liu References: Face: iVBORw0KGgoAAAANSUhEUgAAACgAAAAoBAMAAAB+0KVeAAAAMFBMVEUaFRZLMy1dTENxVzKQ WiCrXQ97cmO/dSqSh3akjGTApXy5sJ7Sxo/Sz8Xo6eP9//xJbkruAAAAAWJLR0QAiAUdSAAAAAlw SFlzAAACxQAAAsUBidZ/7wAAAAd0SU1FB9cBBwMJOwHXewoAAAIBSURBVCjPVdNBiNNAFADQ6J4F x3hThHZBBC+WCFI8SS0iezRDcMHLHkLAg6gJH/fgYQ9xYlj2sLK4KHgqCgXFhda2Idmr4kkQPZQ0 nkQMbTypbMmMM2m7ZgYSmMef/5OZPwo7HFnx3uKPcmj0Dht1LWZJ+Hvr7dIFZXRUwl9VRTuuKDJ+ U44gjscknK4hhJaCkYRsWjmBtLqXlJAG2wipNe18OZJu1BBq1E8xafl4s6Jq2mUZGftU1y7CCxnp FVUDWJXx4C66BKBnErbuoaYNtoRTu6EZBsCbMn7W+5qOAR6WvxNOby9jHWC9hAf3n304CdiAByXs 3Nh9roLDkyb/sWV712vYwaLSAn8CPMHIAAzOPDKP2COAFm4Y4ODVWc6xG7KXsN7UeUJjjimx2uwd gCgNhr0i8C/xyCD5CiCKAMY3Bf5oDzx//w/fimscdcAZU2jv9sedx6+nYPPFIoWI/GK6QZ+EFGOR ErAjCnV3vPZ7XqlTIMbOLY7fLcvvmT7rXNWaGDexIY44N12TG2PDp7vqyl57dnCeuWwyNpnEURxk fTbDYeBnKRn4oejPYI4sH6WviBumEZ/GxX4X/x6EcURFZ7E071bjQGAxpcOAEOJuTiroDEea5Szv rVWLYfl7ZiQwSUToxrkux7OLixAWGz22+HIyWTRYcVfomOwvzusfjtVIGgLHf3MAAAAASUVORK5C YII= Date: Sat, 13 Sep 2014 12:57:16 +0800 In-Reply-To: (Stefan Monnier's message of "Fri, 12 Sep 2014 23:10:48 -0400") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (CentOS 6.5) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) On 2014-09-12 23:10 -0400, Stefan Monnier wrote: > No, I'd rather wait to see if it's really used that often. If it turns > out to be popular, we can then add a shorter version. > > > Stefan Should I install the patch (with the name change of course)? Leo From unknown Sat Aug 16 16:08:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 13 Sep 2014 15:02:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16567 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Leo Liu Cc: 16567@debbugs.gnu.org, Helmut Eller Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.141062048019764 (code B ref 16567); Sat, 13 Sep 2014 15:02:01 +0000 Received: (at 16567) by debbugs.gnu.org; 13 Sep 2014 15:01:20 +0000 Received: from localhost ([127.0.0.1]:40330 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XSopD-00058i-Ot for submit@debbugs.gnu.org; Sat, 13 Sep 2014 11:01:20 -0400 Received: from ironport2-out.teksavvy.com ([206.248.154.181]:43292) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XSopB-00058a-FQ for 16567@debbugs.gnu.org; Sat, 13 Sep 2014 11:01:18 -0400 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArYGAIDvNVNFpZEG/2dsb2JhbABZgwaDSr0vgw6BFxd0giUBAQEBAgFWIxALDiYSFBgNJIgECNIZF456B4Q4BKkZgWqDTCE X-IPAS-Result: ArYGAIDvNVNFpZEG/2dsb2JhbABZgwaDSr0vgw6BFxd0giUBAQEBAgFWIxALDiYSFBgNJIgECNIZF456B4Q4BKkZgWqDTCE X-IronPort-AV: E=Sophos;i="4.97,753,1389762000"; d="scan'208";a="89609177" Received: from 69-165-145-6.dsl.teksavvy.com (HELO pastel.home) ([69.165.145.6]) by ironport2-out.teksavvy.com with ESMTP/TLS/DHE-RSA-AES256-SHA; 13 Sep 2014 11:01:16 -0400 Received: by pastel.home (Postfix, from userid 20848) id 6F2FC6107F; Sat, 13 Sep 2014 11:01:16 -0400 (EDT) From: Stefan Monnier Message-ID: References: Date: Sat, 13 Sep 2014 11:01:16 -0400 In-Reply-To: (Leo Liu's message of "Sat, 13 Sep 2014 12:57:16 +0800") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.3 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.3 (/) >> No, I'd rather wait to see if it's really used that often. If it turns >> out to be popular, we can then add a shorter version. > Should I install the patch (with the name change of course)? Yes, go ahead, Stefan From unknown Sat Aug 16 16:08:12 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.503 (Entity 5.503) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Helmut Eller Subject: bug#16567: closed (Re: bug#16567: 24.3.50; pcase should signal an error if no case matches) Message-ID: References: X-Gnu-PR-Message: they-closed 16567 X-Gnu-PR-Package: emacs Reply-To: 16567@debbugs.gnu.org Date: Sat, 13 Sep 2014 17:27:03 +0000 Content-Type: multipart/mixed; boundary="----------=_1410629223-5496-1" This is a multi-part message in MIME format... ------------=_1410629223-5496-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #16567: 24.3.50; pcase should signal an error if no case matches which was filed against the emacs package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 16567@debbugs.gnu.org. --=20 16567: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D16567 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1410629223-5496-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 16567-done) by debbugs.gnu.org; 13 Sep 2014 17:26:03 +0000 Received: from localhost ([127.0.0.1]:40366 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XSr5G-0001PQ-NJ for submit@debbugs.gnu.org; Sat, 13 Sep 2014 13:26:03 -0400 Received: from mail-pa0-f42.google.com ([209.85.220.42]:63598) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XSr5F-0001P1-8P for 16567-done@debbugs.gnu.org; Sat, 13 Sep 2014 13:26:01 -0400 Received: by mail-pa0-f42.google.com with SMTP id lj1so3579146pab.15 for <16567-done@debbugs.gnu.org>; Sat, 13 Sep 2014 10:26:00 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:face:date:in-reply-to:message-id :user-agent:mime-version:content-type; bh=nAUoN0Cnp8tkMEO6OvdxEIpTErLmAbpZDk4zg54PAC4=; b=BJju7GiOSy++n1HI3vGpxdVqHlDobqKo6McYtA74BuLOYsAtlvC0iO9DHbAMBw3UEb 2N/yZgfGGl6YabcMdKrGzH/844iWRR23LjLFn+sRVrtxkErSvt4uNctTup1ndM1bJIwF T3c0UXyqfGh4APSiIbYLHsADTviK94HLeLMabubokCQAvXilSfjh1nR5pvJZKz2xvWX4 2I69arc9B2gwi09Qrtn9+8ifFUIknJCdQgAQ04KpANZsYPZJfvMtyuhm1jsdnixfWoeH jWE5qpPmIUktis7csfaGT4Qqxx1z0rBR8PIdAhJ+n6gdUsTu4dlEpQNy09faI3ftwnuY JZ1A== X-Received: by 10.70.98.176 with SMTP id ej16mr27201433pdb.165.1410629160218; Sat, 13 Sep 2014 10:26:00 -0700 (PDT) Received: from fortuna ([114.248.254.149]) by mx.google.com with ESMTPSA id fq11sm7074353pdb.42.2014.09.13.10.25.57 for (version=TLSv1.1 cipher=RC4-SHA bits=128/128); Sat, 13 Sep 2014 10:25:59 -0700 (PDT) From: Leo Liu To: Stefan Monnier Subject: Re: bug#16567: 24.3.50; pcase should signal an error if no case matches References: Face: iVBORw0KGgoAAAANSUhEUgAAACkAAAApAQAAAACAGz1bAAABKElEQVQYlWNg3NIt5FDPUPt7 4+X79Qyucz5/ugik+L2PBgKpyphaIK921q23QDnG0NBQoMr/vaWl9f8ZLL78uPv5PwN7RETfzXoG jhmFz27XM0RXmpuY/WfY+fv0Mc56BvFybfXA/wwL5t/wF61n2PU59axXPcOVzbmSW/8zrNt1benC /ww70hqUU/4zKCtrT9jwn8FhwynbufUMendE2aLqGRpdX9al1zM8eh17lKeeQcTMrdD5P8P3j/YT Q/8zXHSb7p1Qz/C4OM2JuZ7hgtI7K6AjqsMnf8j4z8C6xG1tw3+GqpqvsVn/GTzmpD9j/8/wP/oZ S/l/Bka+QO/g/wy15ueeFQL9N1O8mPU/g+umV3t1gdT0/1bTgHLqYVeXAlWKpMWt+w8Az82C9nHf X0cAAAAASUVORK5CYII= Date: Sun, 14 Sep 2014 01:25:52 +0800 In-Reply-To: (Stefan Monnier's message of "Sat, 13 Sep 2014 11:01:16 -0400") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (CentOS 6.5) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 16567-done Cc: 16567-done@debbugs.gnu.org, Helmut Eller X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) Version: 24.5 On 2014-09-13 11:01 -0400, Stefan Monnier wrote: > Yes, go ahead, Done. Leo ------------=_1410629223-5496-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 27 Jan 2014 09:23:14 +0000 Received: from localhost ([127.0.0.1]:37355 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W7iPR-00085Q-Iq for submit@debbugs.gnu.org; Mon, 27 Jan 2014 04:23:13 -0500 Received: from eggs.gnu.org ([208.118.235.92]:58765) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W7iPO-00085F-6J for submit@debbugs.gnu.org; Mon, 27 Jan 2014 04:23:10 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1W7iPE-0003jC-Lx for submit@debbugs.gnu.org; Mon, 27 Jan 2014 04:23:10 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:58388) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W7iPE-0003iv-Hb for submit@debbugs.gnu.org; Mon, 27 Jan 2014 04:23:00 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:60417) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W7iP6-0004sC-Uz for bug-gnu-emacs@gnu.org; Mon, 27 Jan 2014 04:23:00 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1W7iOz-0003fQ-JQ for bug-gnu-emacs@gnu.org; Mon, 27 Jan 2014 04:22:52 -0500 Received: from mail-ea0-f179.google.com ([209.85.215.179]:46788) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W7iOz-0003fB-Dl for bug-gnu-emacs@gnu.org; Mon, 27 Jan 2014 04:22:45 -0500 Received: by mail-ea0-f179.google.com with SMTP id q10so1879703ead.38 for ; Mon, 27 Jan 2014 01:22:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:subject:date:message-id:mime-version:content-type; bh=MINny3WJ3MWg66cTealGaVRjMwtRp+VmLeR7ll6vu5U=; b=rpeK0PZC4CyzN4fEjMta2FjWaKG6HGu3tf6M/subOk6EXNuXWVhWwbcZcbvj/Tpr7X ctXjHrYPUYZWIL7Y6RFZO1i1LAAIsxV0YgwBxpo34z02GM8ZWSY4JE3qn5hOKKsGM9fY TvR2eeemFeSgiz4YbLoDEKsrdwuREaU/acvm/6eWXLSASWIDz9BrcjI44hOpHZ+7wTFl ASaJZ7b+ah7izCK2mP3s7D+lkkb8lHV5Msq0zv6uN9Xy3p0Mjt7ddi4vHRLMsiwx7C8e RQbYPPgnwI7bz7A3fVLQbomSMfue8WRUXvEcisfKcbVIsqvdmQp5INYE0bLH2DxUuhi+ aXgA== X-Received: by 10.14.194.131 with SMTP id m3mr24137102een.2.1390814529739; Mon, 27 Jan 2014 01:22:09 -0800 (PST) Received: from ix ([212.46.176.45]) by mx.google.com with ESMTPSA id x2sm39988760eeo.8.2014.01.27.01.22.08 for (version=TLSv1.2 cipher=RC4-SHA bits=128/128); Mon, 27 Jan 2014 01:22:08 -0800 (PST) Received: from helmut by ix with local (Exim 4.80) (envelope-from ) id 1W7iOM-0000w7-Qv for bug-gnu-emacs@gnu.org; Mon, 27 Jan 2014 10:22:07 +0100 From: Helmut Eller To: bug-gnu-emacs@gnu.org Subject: 24.3.50; pcase should signal an error if no case matches Date: Mon, 27 Jan 2014 10:22:06 +0100 Message-ID: MIME-Version: 1.0 Content-Type: text/plain 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: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.0 (----) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -4.0 (----) pcase returns nil for this example: (pcase 3 (1 1) (2 2)) it would be more useful if it would signal an error instead. Manually adding a "catch-all case" and inventing some error message is tedious and it's also easy to forget. ------------=_1410629223-5496-1-- From debbugs-submit-bounces@debbugs.gnu.org Sat Oct 04 12:32:22 2014 Received: (at control) by debbugs.gnu.org; 4 Oct 2014 16:32:22 +0000 Received: from localhost ([127.0.0.1]:33179 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XaSFp-0002hC-Jn for submit@debbugs.gnu.org; Sat, 04 Oct 2014 12:32:21 -0400 Received: from fencepost.gnu.org ([208.118.235.10]:59991) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XaSFm-0002h3-Hj for control@debbugs.gnu.org; Sat, 04 Oct 2014 12:32:19 -0400 Received: from rgm by fencepost.gnu.org with local (Exim 4.71) (envelope-from ) id 1XaSFj-0005By-Pf; Sat, 04 Oct 2014 12:32:15 -0400 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <21552.8463.712517.884718@gnu.org> Date: Sat, 4 Oct 2014 12:32:15 -0400 From: Glenn Morris To: GNU bug tracker automated control server Subject: update fixed Emacs bugs for version number change X-Debbugs-No-Ack: yes X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) fixed 18502 25.1 notfixed 18502 24.5 fixed 16204 25.1 notfixed 16204 24.5 fixed 18557 25.1 notfixed 18557 24.5 fixed 18562 25.1 notfixed 18562 24.5 fixed 18265 25.1 notfixed 18265 24.5 fixed 16567 25.1 notfixed 16567 24.5