From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Josh Newsgroups: gmane.emacs.bugs Subject: bug#16567: 24.3.50; pcase should signal an error if no case matches Date: Tue, 9 Sep 2014 22:32:19 -0700 Message-ID: References: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=001a11c2daf0fb19500502af613d X-Trace: ger.gmane.org 1410327206 25266 80.91.229.3 (10 Sep 2014 05:33:26 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 10 Sep 2014 05:33:26 +0000 (UTC) Cc: 16567@debbugs.gnu.org, Helmut Eller To: Leo Liu Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Wed Sep 10 07:33:19 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 1XRaWs-0000hR-Fc for geb-bug-gnu-emacs@m.gmane.org; Wed, 10 Sep 2014 07:33:18 +0200 Original-Received: from localhost ([::1]:53455 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XRaWs-00071T-1r for geb-bug-gnu-emacs@m.gmane.org; Wed, 10 Sep 2014 01:33:18 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:59478) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XRaWi-0006uR-QK for bug-gnu-emacs@gnu.org; Wed, 10 Sep 2014 01:33:14 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XRaWc-0003GV-L8 for bug-gnu-emacs@gnu.org; Wed, 10 Sep 2014 01:33:08 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:44313) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XRaWc-0003GR-IJ for bug-gnu-emacs@gnu.org; Wed, 10 Sep 2014 01:33:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1XRaWc-0004gm-4x for bug-gnu-emacs@gnu.org; Wed, 10 Sep 2014 01:33:02 -0400 X-Loop: help-debbugs@gnu.org 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: Original-Received: via spool by 16567-submit@debbugs.gnu.org id=B16567.141032717718013 (code B ref 16567); Wed, 10 Sep 2014 05:33:02 +0000 Original-Received: (at 16567) by debbugs.gnu.org; 10 Sep 2014 05:32:57 +0000 Original-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 Original-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 Original-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) Original-Received: by 10.202.102.137 with HTTP; Tue, 9 Sep 2014 22:32:19 -0700 (PDT) In-Reply-To: X-Google-Sender-Auth: ZLZFMCMo0wJ3w_Tg0aLYawjxHyU 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:93223 Archived-At: --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--