From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.bugs Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Date: Mon, 08 Sep 2014 15:19:06 -0400 Message-ID: References: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1410204030 8906 80.91.229.3 (8 Sep 2014 19:20:30 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 8 Sep 2014 19:20:30 +0000 (UTC) Cc: 16567@debbugs.gnu.org To: Helmut Eller Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Mon Sep 08 21:20:23 2014 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1XR4UA-0000Kv-13 for geb-bug-gnu-emacs@m.gmane.org; Mon, 08 Sep 2014 21:20:22 +0200 Original-Received: from localhost ([::1]:45398 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XR4U9-0000wE-Ht for geb-bug-gnu-emacs@m.gmane.org; Mon, 08 Sep 2014 15:20:21 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:35264) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XR4Tz-0000ux-Mr for bug-gnu-emacs@gnu.org; Mon, 08 Sep 2014 15:20:19 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XR4Tr-0002Fm-QR for bug-gnu-emacs@gnu.org; Mon, 08 Sep 2014 15:20:11 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:42520) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XR4Tr-0002EI-Mg for bug-gnu-emacs@gnu.org; Mon, 08 Sep 2014 15:20:03 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1XR4Tq-000662-OM for bug-gnu-emacs@gnu.org; Mon, 08 Sep 2014 15:20:02 -0400 X-Loop: help-debbugs@gnu.org 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: Original-Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.141020395123356 (code B ref 16567); Mon, 08 Sep 2014 19:20:02 +0000 Original-Received: (at 16567) by debbugs.gnu.org; 8 Sep 2014 19:19:11 +0000 Original-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 Original-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 Original-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 Original-Received: by pastel.home (Postfix, from userid 20848) id 77EAA60BF3; Mon, 8 Sep 2014 15:19:06 -0400 (EDT) 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) 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 140.186.70.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:93164 Archived-At: > 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