From unknown Sun Jun 22 22:42:43 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#20636 <20636@debbugs.gnu.org> To: bug#20636 <20636@debbugs.gnu.org> Subject: Status: 24.5; pcase: nil should be an UPattern Reply-To: bug#20636 <20636@debbugs.gnu.org> Date: Mon, 23 Jun 2025 05:42:43 +0000 retitle 20636 24.5; pcase: nil should be an UPattern reassign 20636 emacs submitter 20636 Philipp Stephani severity 20636 normal tag 20636 wontfix thanks From debbugs-submit-bounces@debbugs.gnu.org Sat May 23 14:29:53 2015 Received: (at submit) by debbugs.gnu.org; 23 May 2015 18:29:54 +0000 Received: from localhost ([127.0.0.1]:54133 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1YwEBB-0001it-4h for submit@debbugs.gnu.org; Sat, 23 May 2015 14:29:53 -0400 Received: from eggs.gnu.org ([208.118.235.92]:58733) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1YwEB4-0001ic-Jt for submit@debbugs.gnu.org; Sat, 23 May 2015 14:29:47 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1YwEAx-0007R7-Uv for submit@debbugs.gnu.org; Sat, 23 May 2015 14:29:37 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=BAYES_50, FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:49615) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YwEAx-0007R3-SQ for submit@debbugs.gnu.org; Sat, 23 May 2015 14:29:35 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:44005) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YwEAw-0000UI-NZ for bug-gnu-emacs@gnu.org; Sat, 23 May 2015 14:29:35 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1YwEAs-0007Qi-MF for bug-gnu-emacs@gnu.org; Sat, 23 May 2015 14:29:34 -0400 Received: from mail-wi0-x230.google.com ([2a00:1450:400c:c05::230]:33838) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YwEAs-0007Qb-FI for bug-gnu-emacs@gnu.org; Sat, 23 May 2015 14:29:30 -0400 Received: by wicmc15 with SMTP id mc15so13917141wic.1 for ; Sat, 23 May 2015 11:29:29 -0700 (PDT) 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=ZL7xyEQUkZb0qhX6li0pEYfo6teEoiy5k0X6Sznx+PM=; b=daHXBdIfFaXHuqTW0B8l9dJD2oEzvVpgXv2ogDrzbfQXJI/hL2SPM7qaCRGrwkuOk7 43F/p4I2l7CoThlEoXq65rNbXSGWWMlnnbQZAQlQPXcKGsoxM4GTmSukXRWLqowN2ALq aJUdAqrujlFkFsctHjVKbpn/nvYM4O4/76p0Eocg4FdB13sOFl+ivBtAHPqfrgYezr2W 0SWDQrLAYpSmW0gWnaEY5Qj7PAe0Gz5P18JDqhzefnLKW3JOOBcIGfKwcvmvhBukG9IF LVaQgYbvCBTTMqxhFAlxHvwjY8y7Ts63UrtsvSd5BcsN3g6SASW2uhGgl/nAq+aJ5PcW bzXw== X-Received: by 10.180.81.194 with SMTP id c2mr7277502wiy.94.1432405769069; Sat, 23 May 2015 11:29:29 -0700 (PDT) Received: from p (46.128.209.83.dynamic.cablesurf.de. [46.128.209.83]) by mx.google.com with ESMTPSA id mv11sm3979251wic.23.2015.05.23.11.29.28 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 23 May 2015 11:29:28 -0700 (PDT) From: Philipp Stephani To: bug-gnu-emacs@gnu.org Subject: 24.5; pcase: nil should be an UPattern Date: Sat, 23 May 2015 20:27:48 +0200 Message-ID: MIME-Version: 1.0 Content-Type: text/plain X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). 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: -3.8 (---) 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: -3.8 (---) The pcase help says that SELFQUOTING is a UPattern. This works for e.g. t, but not for nil. E.g., (pcase nil (nil 1)) raises a `setting-constant' signal. I think that nil should be supported as upattern. In GNU Emacs 24.5.1 (x86_64-apple-darwin14.1.0, NS apple-appkit-1344.72) of 2015-04-12 on p Configured using: `configure --prefix=/usr/local/Cellar/emacs/24.5 --enable-locallisppath=/usr/local/share/emacs/site-lisp --infodir=/usr/local/Cellar/emacs/24.5/share/info/emacs --with-file-notification=gfile --with-dbus --with-gnutls --with-rsvg --with-imagemagick --without-popmail --with-ns --disable-ns-self-contained' Important settings: value of $LANG: de_DE.UTF-8 locale-coding-system: utf-8-unix Major mode: Lisp Interaction Minor modes in effect: tooltip-mode: t electric-indent-mode: t mouse-wheel-mode: t tool-bar-mode: t menu-bar-mode: t file-name-shadow-mode: t global-font-lock-mode: t font-lock-mode: t auto-composition-mode: t auto-encryption-mode: t auto-compression-mode: t line-number-mode: t transient-mark-mode: t Recent messages: For information about GNU Emacs and the GNU system, type C-h C-a. Entering debugger... Back to top level. Load-path shadows: None found. Features: (shadow sort gnus-util mail-extr emacsbug message format-spec rfc822 mml mml-sec mm-decode mm-bodies mm-encode mail-parse rfc2231 mailabbrev gmm-utils mailheader sendmail rfc2047 rfc2045 ietf-drums mm-util help-fns mail-prsvr mail-utils help-mode easymenu debug pcase xterm time-date tooltip electric uniquify ediff-hook vc-hooks lisp-float-type mwheel ns-win tool-bar dnd fontset image regexp-opt fringe tabulated-list newcomment lisp-mode prog-mode register page menu-bar rfn-eshadow timer select scroll-bar mouse jit-lock font-lock syntax facemenu font-core frame cham georgian utf-8-lang misc-lang vietnamese tibetan thai tai-viet lao korean japanese hebrew greek romanian slovak czech european ethiopic indian cyrillic chinese case-table epa-hook jka-cmpr-hook help simple abbrev minibuffer nadvice loaddefs button faces cus-face macroexp files text-properties overlay sha1 md5 base64 format env code-pages mule custom widget hashtable-print-readable backquote make-network-process dbusbind gfilenotify cocoa ns multi-tty emacs) Memory information: ((conses 16 80412 6720) (symbols 48 17807 0) (miscs 40 34 132) (strings 32 10771 4791) (string-bytes 1 282032) (vectors 16 7394) (vector-slots 8 343172 26626) (floats 8 63 594) (intervals 56 193 6) (buffers 960 12)) From debbugs-submit-bounces@debbugs.gnu.org Sat May 23 20:26:15 2015 Received: (at 20636) by debbugs.gnu.org; 24 May 2015 00:26:15 +0000 Received: from localhost ([127.0.0.1]:54172 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1YwJk3-0002oH-2J for submit@debbugs.gnu.org; Sat, 23 May 2015 20:26:15 -0400 Received: from smtprelay-h31.telenor.se ([213.150.131.4]:50228) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1YwJjx-0002nf-IP for 20636@debbugs.gnu.org; Sat, 23 May 2015 20:26:10 -0400 Received: from ipb1.telenor.se (ipb1.telenor.se [195.54.127.164]) by smtprelay-h31.telenor.se (Postfix) with ESMTP id 8B4A3D999 for <20636@debbugs.gnu.org>; Sun, 24 May 2015 02:25:59 +0200 (CEST) X-SMTPAUTH-B2: [bocjoh] X-SENDER-IP: [85.229.3.140] X-LISTENER: [smtp.bredband.net] X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A2CGCgBIGWFV/4wD5VVcgxCBMsMhCYdQAoEkORQBAQEBAQEBgQpBBYNdAQEDAVYjBQsLDhMlDwEEDQsBDCQTiBcDCgwBzhsNhQYBAQEBBgEBAQEeizqCTYI4B4QtBZw+kgWHAyODejwxgkcBAQE X-IPAS-Result: A2CGCgBIGWFV/4wD5VVcgxCBMsMhCYdQAoEkORQBAQEBAQEBgQpBBYNdAQEDAVYjBQsLDhMlDwEEDQsBDCQTiBcDCgwBzhsNhQYBAQEBBgEBAQEeizqCTYI4B4QtBZw+kgWHAyODejwxgkcBAQE X-IronPort-AV: E=Sophos;i="5.13,484,1427752800"; d="scan'208";a="248736094" Received: from c-8c03e555.04-211-6c6b701.cust.bredbandsbolaget.se (HELO muon.localdomain) ([85.229.3.140]) by ipb1.telenor.se with ESMTP; 24 May 2015 02:25:59 +0200 Received: by muon.localdomain (Postfix, from userid 1000) id 8ED474841CD; Sun, 24 May 2015 02:25:46 +0200 (CEST) From: =?utf-8?Q?Johan_Bockg=C3=A5rd?= To: Philipp Stephani Subject: Re: bug#20636: 24.5; pcase: nil should be an UPattern References: Mail-Copies-To: never Date: Sun, 24 May 2015 02:25:46 +0200 In-Reply-To: (Philipp Stephani's message of "Sat, 23 May 2015 20:27:48 +0200") Message-ID: <87r3q6om7p.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: 20636 Cc: 20636@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: 1.0 (+) Philipp Stephani writes: > The pcase help says that SELFQUOTING is a UPattern. This works for > e.g. t Actually, t is not self-matching; it is equivalent to _ (match anything). But this "feature" seems to be undocumented. From debbugs-submit-bounces@debbugs.gnu.org Sun May 24 07:00:31 2015 Received: (at 20636) by debbugs.gnu.org; 24 May 2015 11:00:31 +0000 Received: from localhost ([127.0.0.1]:54295 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1YwTdq-0001XH-MS for submit@debbugs.gnu.org; Sun, 24 May 2015 07:00:30 -0400 Received: from mail-wg0-f42.google.com ([74.125.82.42]:35575) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1YwTdk-0001W2-A8 for 20636@debbugs.gnu.org; Sun, 24 May 2015 07:00:24 -0400 Received: by wgfl8 with SMTP id l8so52080529wgf.2 for <20636@debbugs.gnu.org>; Sun, 24 May 2015 04:00:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc:content-type; bh=6E0SNNH/0HS+HQWhmmQp0udyiEpoP0g3fJWS2KHNH74=; b=XtMd6TfzZNF1lGfwZ2Ah5znkZ92MSRX68mSmvkIH/ukxOZsr6/10+WVOK87peB2Sed mHmNooiSK7NylzNPrWG3cGIJTdB3f6v/SKJqDM+DxxSa2b6ov3N3C1ee3wNkJXQ0R2MN 1NMTZ7mCDxR4CRNtKaax/rOZyxczL2RWkzGBgXnsdblX+Gx5MLjcYu+dbJeNl6ThzVDw UaK7STjcKRB+TijiZ4TaWh+75tUxUadJf9jKxyTz6Nf+S3KbbfzqJwP9dzuZ7ixOQgpj MZ51KY7rrxzmW8sVftWDBlB7PV1ov0KyVhe+TkrHDjrWP3N6LKd2CdAJtb1k20K+E2IC QDww== X-Received: by 10.180.77.8 with SMTP id o8mr13427327wiw.74.1432465213812; Sun, 24 May 2015 04:00:13 -0700 (PDT) MIME-Version: 1.0 References: <87r3q6om7p.fsf@gnu.org> In-Reply-To: <87r3q6om7p.fsf@gnu.org> From: Philipp Stephani Date: Sun, 24 May 2015 11:00:03 +0000 Message-ID: Subject: Re: bug#20636: 24.5; pcase: nil should be an UPattern To: =?UTF-8?Q?Johan_Bockg=C3=A5rd?= Content-Type: multipart/alternative; boundary=f46d0437495538f7670516d1cc3a X-Spam-Score: -0.4 (/) X-Debbugs-Envelope-To: 20636 Cc: 20636@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.4 (/) --f46d0437495538f7670516d1cc3a Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Johan Bockg=C3=A5rd schrieb am So., 24. Mai 2015 um 02:27= Uhr: > Philipp Stephani writes: > > > The pcase help says that SELFQUOTING is a UPattern. This works for > > e.g. t > > Actually, t is not self-matching; it is equivalent to _ (match > anything). But this "feature" seems to be undocumented. > > Thanks, I really wasn't aware of that! nil and t should work as QPatterns (they are atoms), but the documentation about UPatterns seems less clear. Specifically, 'self-quoting' doesn't seem to be an established or widely known term. The Elisp manual talks about 'self-evaluating forms' (anything that is not a list or symbol), but 'self-quoting' in the `pcase' sense seems to be a more comprehensive construct as it also includes keywords. The Elisp manual talks about 'symbols acting like self-evaluating-forms' in the following paragraph: The symbols `nil' and `t' are treated specially, so that the value of `nil' is always `nil', and the value of `t' is always `t'; you cannot set or bind them to any other values. Thus, these two symbols act like self-evaluating forms, even though `eval' treats them like any other symbol. A symbol whose name starts with `:' also self-evaluates in the same way; likewise, its value ordinarily cannot be changed. So this definition includes both keywords and nil and t. Ideally, 'self-quoting' in the pcase sense would have the same meaning (right now it includes keywords but not nil or t). The documentation should really enumerate all the forms exhaustively to make the definitions clearer. --f46d0437495538f7670516d1cc3a Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


Johan Bockg=C3=A5rd <= ;bojohan@gnu.org> schrieb am So.,= 24. Mai 2015 um 02:27=C2=A0Uhr:
Philipp = Stephani <p.s= tephani2@gmail.com> writes:

> The pcase help says that SELFQUOTING is a UPattern.=C2=A0 This works f= or
> e.g. t

Actually, t is not self-matching; it is equivalent to _ (match
anything). But this "feature" seems to be undocumented.


Thanks, I really wasn't aware of that!= nil and t should work as QPatterns (they are atoms), but the documentation= about UPatterns seems less clear. Specifically, 'self-quoting' doe= sn't seem to be an established or widely known term.=C2=A0 The Elisp ma= nual talks about 'self-evaluating forms' (anything that is not a li= st or symbol), but 'self-quoting' in the `pcase' sense seems to= be a more comprehensive construct as it also includes keywords. The Elisp = manual talks about 'symbols acting like self-evaluating-forms' in t= he following paragraph:

=C2=A0 =C2=A0The symbols `= nil' and `t' are treated specially, so that the value
of = `nil' is always `nil', and the value of `t' is always `t'; = you
cannot set or bind them to any other values.=C2=A0 Thus, thes= e two symbols
act like self-evaluating forms, even though `eval&#= 39; treats them like any
other symbol.=C2=A0 A symbol whose name = starts with `:' also self-evaluates
in the same way; likewise= , its value ordinarily cannot be changed.

So this = definition includes both keywords and nil and t. Ideally, 'self-quoting= ' in the pcase sense would have the same meaning (right now it includes= keywords but not nil or t). The documentation should really enumerate all = the forms exhaustively to make the definitions clearer.
--f46d0437495538f7670516d1cc3a-- From debbugs-submit-bounces@debbugs.gnu.org Thu Jun 30 22:42:37 2016 Received: (at 20636) by debbugs.gnu.org; 1 Jul 2016 02:42:37 +0000 Received: from localhost ([127.0.0.1]:32951 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bIoPd-0000sF-Do for submit@debbugs.gnu.org; Thu, 30 Jun 2016 22:42:37 -0400 Received: from mail-io0-f180.google.com ([209.85.223.180]:34782) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bIoPa-0000rx-Ry; Thu, 30 Jun 2016 22:42:35 -0400 Received: by mail-io0-f180.google.com with SMTP id g13so88670438ioj.1; Thu, 30 Jun 2016 19:42:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=RuSPFk8X+8HzOTKivQZY7P67MwO0aVI4rUgji0hqvVM=; b=yYDjk3Cxpm45dUyTqKaPuvRJbItrBIcSav1lvozFHlLqBJxi7Pm2ePLhK3B/MF5dIa uujgvIoyRhjlUR1P5gSd0kI/xZtmDFNvsFiaz5F8Nkv+UMAnpLILctMymYJhZFq6fg37 WpcCAfxcOj1OAlz+58XrB64cn6nNMVH2rvF44bOnGSL2pj6c6f7aLhabfSje2QXROK6N s6OGrIp+wgEla+PiF3O9daqgOoXkIpuj1VDcW+pOaT/jhtP2tIOyGMiX6JaEUWqp8L08 GWZuRCJDWAeCfPPxGVXAOS+TiaeEL3n6EREq/bo1SOQsfEwx9LMG/xk8IXq0UMZRhe/K rDYA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:sender:from:to:cc:subject:references:date :in-reply-to:message-id:user-agent:mime-version; bh=RuSPFk8X+8HzOTKivQZY7P67MwO0aVI4rUgji0hqvVM=; b=LYLPbaazY7uPgTY70Bd36nB9ozPqOm94Bd02z+VXT++WwaXn6yCHxHYKkKsw6o8joq g/rDfm1Pdrneg79mvTo/8m4vOx/2wgtWPLgrHGq/GaVLyj1i0cP2iK16DiCckaHTeMGB 2Jgo8pggITxRgahq8iTAbzDj+BiMT+ZhAjwhM8Wx11TjN8PD9pV01cD26TReMYArsPSg 1KGbzIhLTyENHDDbKB+H7dgeMe4fHgrhoEj3iEujLNrYeDlttmTBTGkkoq1n2b7QRX2o hc1iwtUvky3nwkYnHSIQbAh8gpRFBCgS4Ubrsh05rsJ4i4Jtc1JTk23oqDnGpo1MEgDX OGng== X-Gm-Message-State: ALyK8tJdaqAWolUgDpDFHL4Toe3UZbYFfDOcEW1mW36OSPw/4Yv1GnwPDUXaMsKXSXKr5A== X-Received: by 10.107.25.7 with SMTP id 7mr18063636ioz.104.1467340949287; Thu, 30 Jun 2016 19:42:29 -0700 (PDT) Received: from zony (206-188-64-44.cpe.distributel.net. [206.188.64.44]) by smtp.googlemail.com with ESMTPSA id m86sm5217169iod.36.2016.06.30.19.42.27 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 30 Jun 2016 19:42:28 -0700 (PDT) From: npostavs@users.sourceforge.net To: Philipp Stephani Subject: Re: bug#20636: 24.5; pcase: nil should be an UPattern References: <87r3q6om7p.fsf@gnu.org> Date: Thu, 30 Jun 2016 22:42:37 -0400 In-Reply-To: (Philipp Stephani's message of "Sun, 24 May 2015 11:00:03 +0000") Message-ID: <87k2h6hyea.fsf@users.sourceforge.net> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.93 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 20636 Cc: 20636@debbugs.gnu.org, Johan =?utf-8?Q?Bockg=C3=A5rd?= X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 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 (/) tags 20636 wontfix close 20636 quit In 20784 it was decided to that nil and t should not be valid patterns at all (t is still supported as a match-all, but deprecated). From unknown Sun Jun 22 22:42:43 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, 29 Jul 2016 11: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