From debbugs-submit-bounces@debbugs.gnu.org Fri Dec 20 09:46:05 2013 Received: (at submit) by debbugs.gnu.org; 20 Dec 2013 14:46:05 +0000 Received: from localhost ([127.0.0.1]:59798 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Vu1L3-0003ov-9W for submit@debbugs.gnu.org; Fri, 20 Dec 2013 09:46:05 -0500 Received: from eggs.gnu.org ([208.118.235.92]:33252) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Vu1L0-0003of-Kk for submit@debbugs.gnu.org; Fri, 20 Dec 2013 09:46:03 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Vu1Kt-0006X3-BY for submit@debbugs.gnu.org; Fri, 20 Dec 2013 09:46:02 -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 autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:34178) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Vu1Kt-0006Wz-7n for submit@debbugs.gnu.org; Fri, 20 Dec 2013 09:45:55 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:34940) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Vu1Kn-0000gB-1l for bug-gnu-emacs@gnu.org; Fri, 20 Dec 2013 09:45:55 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Vu1Kg-0006Vi-S6 for bug-gnu-emacs@gnu.org; Fri, 20 Dec 2013 09:45:48 -0500 Received: from mout.web.de ([212.227.15.4]:63599) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Vu1Kg-0006VR-Fu for bug-gnu-emacs@gnu.org; Fri, 20 Dec 2013 09:45:42 -0500 Received: from drachen.dragon ([90.187.44.149]) by smtp.web.de (mrweb003) with ESMTPA (Nemesis) id 0MddGu-1W8EIK259g-00PNmr for ; Fri, 20 Dec 2013 15:45:40 +0100 From: Michael Heerdegen To: bug-gnu-emacs@gnu.org Subject: 24.3.50; error expanding pcase with a pred clause Date: Fri, 20 Dec 2013 15:45:10 +0100 Message-ID: <87txe3h98p.fsf@web.de> MIME-Version: 1.0 Content-Type: text/plain X-Provags-ID: V03:K0:wUJ1T3x/F2JPjLgx4R8YChEcleFXg/3BP9Mg2Ao72u47tqvXDAk E9CxpJbS31ZMHPe+zTlhbYJLrH9Ty8u36BJPaJbS/SlmoCRpmePeMKYlNQkyHqFvuwVAedw nnF0evCvGppU86h9pfSRpC94z9pCux3Vwc/sNBmuTFMduegkI+wN2ljWWCx5MWYytvKSfUI ll7bzehBEgod/0Qgf+XfA== X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [generic] 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: -5.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: -5.0 (-----) Hi, sorry if this is a known issue. In emacs -Q (current trunk), save the following snipped --8<---------------cut here---------------start------------->8--- (require 'pcase) (defun test-buffer-file-name () (pcase buffer-file-name (`nil 'not-a-file) ((pred file-writable-p) 'writable) (_ 'not-writable))) --8<---------------cut here---------------end--------------->8--- into a file. Then, M-: (byte-compile-file buffer-file-name). You get an error: pcase-bug.el:3:1:Error: Wrong type argument: stringp, nil Same with C-x C-e with point after the defun. BTW, (require 'pcase) is necessary in the recipe. If pcase has not yet been loaded, the error doesn't happen. Instead you can compile or eval the defun (once), and it works as expected! Thanks, Michael. In GNU Emacs 24.3.50.1 (x86_64-unknown-linux-gnu, GTK+ Version 3.8.4) of 2013-12-20 on drachen Windowing system distributor `The X.Org Foundation', version 11.0.11403000 System Description: Debian GNU/Linux testing (jessie) Configured using: `configure --prefix=/usr/local/built/' Important settings: value of $LC_ALL: de_DE.utf8 value of $LC_COLLATE: C value of $LC_TIME: C value of $LANG: de_DE.utf8 locale-coding-system: utf-8-unix Major mode: Emacs-Lisp From debbugs-submit-bounces@debbugs.gnu.org Sat Dec 21 06:55:06 2013 Received: (at 16201) by debbugs.gnu.org; 21 Dec 2013 11:55:07 +0000 Received: from localhost ([127.0.0.1]:60925 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VuL97-0002bY-Nq for submit@debbugs.gnu.org; Sat, 21 Dec 2013 06:55:06 -0500 Received: from mout.web.de ([212.227.17.11]:59123) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VuL91-0002ax-4q for 16201@debbugs.gnu.org; Sat, 21 Dec 2013 06:55:00 -0500 Received: from drachen.dragon ([90.187.172.218]) by smtp.web.de (mrweb003) with ESMTPA (Nemesis) id 0LoYWI-1VJNou32du-00gUcx for <16201@debbugs.gnu.org>; Sat, 21 Dec 2013 12:54:57 +0100 From: Michael Heerdegen To: 16201@debbugs.gnu.org Subject: Re: bug#16201: 24.3.50; error expanding pcase with a pred clause References: <87txe3h98p.fsf@web.de> Date: Sat, 21 Dec 2013 12:54:21 +0100 In-Reply-To: <87txe3h98p.fsf@web.de> (Michael Heerdegen's message of "Fri, 20 Dec 2013 15:45:10 +0100") Message-ID: <87eh568ln6.fsf@web.de> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Provags-ID: V03:K0:lR7Z7Ax1XDMuJsKVnSE0JRIK9uudJ27liuTsciWK8+0VBWKbySf 8fT6enyn7KgSEPXXXmhVgpP3/PffavP1UKOoe1XTEH+ng4E9JAlHPoCO5nXbc9YxGnH91pP EOqWhy6lRPq49oklk45FxeMP0wzHqEMGAODq1WPWl65B/6/yKMEaA0ZI54swaFUE+ef21yv lbCGAq3TftN5b5zEfIPlg== X-Spam-Score: -0.5 (/) X-Debbugs-Envelope-To: 16201 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.5 (/) Michael Heerdegen writes: > (defun test-buffer-file-name () > (pcase buffer-file-name > (`nil 'not-a-file) > ((pred file-writable-p) 'writable) > (_ 'not-writable))) > > pcase-bug.el:3:1:Error: Wrong type argument: stringp, nil pcase seems to test whether the constant (nil) from the first clause fulfills the pred of the second clause. Which is not legal in this case. I thought this could be ok: (pcase buffer-file-name (`nil 'not-a-file) ((and (pred stringp) (pred file-writable-p)) 'writable) (_ 'not-writable)) but that triggers the same error. This works, however, but doesn't look so nice: (pcase buffer-file-name (`nil 'not-a-file) ((pred (lambda (x) (and (stringp x) (file-writable-p x)))) 'writable) (_ 'not-writable)) Regards, Michael. From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 02 23:41:06 2014 Received: (at 16201-done) by debbugs.gnu.org; 3 Jan 2014 04:41:06 +0000 Received: from localhost ([127.0.0.1]:58995 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VywZF-00056c-Oq for submit@debbugs.gnu.org; Thu, 02 Jan 2014 23:41:06 -0500 Received: from ironport2-out.teksavvy.com ([206.248.154.181]:42007) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VywZD-00056U-UR for 16201-done@debbugs.gnu.org; Thu, 02 Jan 2014 23:41:04 -0500 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av8EABK/CFFsr+l6/2dsb2JhbABEuzWDWRdzgh4BAQQBViMFCws0EhQYDSSIHgbBLZEKA4hhnBmBXoMV X-IPAS-Result: Av8EABK/CFFsr+l6/2dsb2JhbABEuzWDWRdzgh4BAQQBViMFCws0EhQYDSSIHgbBLZEKA4hhnBmBXoMV X-IronPort-AV: E=Sophos;i="4.84,565,1355115600"; d="scan'208";a="43831713" Received: from 108-175-233-122.dsl.teksavvy.com (HELO pastel.home) ([108.175.233.122]) by ironport2-out.teksavvy.com with ESMTP/TLS/ADH-AES256-SHA; 02 Jan 2014 23:41:03 -0500 Received: by pastel.home (Postfix, from userid 20848) id 32E456006A; Thu, 2 Jan 2014 23:41:03 -0500 (EST) From: Stefan Monnier To: Michael Heerdegen Subject: Re: bug#16201: 24.3.50; error expanding pcase with a pred clause Message-ID: References: <87txe3h98p.fsf@web.de> Date: Thu, 02 Jan 2014 23:41:03 -0500 In-Reply-To: <87txe3h98p.fsf@web.de> (Michael Heerdegen's message of "Fri, 20 Dec 2013 15:45:10 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.3 (/) X-Debbugs-Envelope-To: 16201-done Cc: 16201-done@debbugs.gnu.org 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 (/) > sorry if this is a known issue. It wasn't, thank you. > pcase-bug.el:3:1:Error: Wrong type argument: stringp, nil Should be fixed now, thank you, Stefan From unknown Sun Jun 22 07:34:09 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Fri, 31 Jan 2014 12:24:03 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator