From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Michael Heerdegen Newsgroups: gmane.emacs.bugs Subject: bug#31350: 27.0; `pcase' message: "Redundant pcase pattern" Date: Sun, 04 Oct 2020 00:52:03 +0200 Message-ID: <87sgaudiss.fsf@web.de> References: <86d352f4-5fa7-4bee-b72c-17e58aace43f@default> <87364hs46h.fsf@gnus.org> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="34043"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) Cc: 31350@debbugs.gnu.org To: Lars Ingebrigtsen Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sun Oct 04 00:53:47 2020 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1kOqPS-0008mP-PU for geb-bug-gnu-emacs@m.gmane-mx.org; Sun, 04 Oct 2020 00:53:46 +0200 Original-Received: from localhost ([::1]:39300 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kOqPR-00074V-Dk for geb-bug-gnu-emacs@m.gmane-mx.org; Sat, 03 Oct 2020 18:53:45 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:54244) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kOqOj-00074M-VZ for bug-gnu-emacs@gnu.org; Sat, 03 Oct 2020 18:53:01 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:33038) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kOqOj-00089a-Ld for bug-gnu-emacs@gnu.org; Sat, 03 Oct 2020 18:53:01 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kOqOj-0001EA-KO for bug-gnu-emacs@gnu.org; Sat, 03 Oct 2020 18:53:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Michael Heerdegen Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 03 Oct 2020 22:53:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 31350 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: moreinfo Original-Received: via spool by 31350-submit@debbugs.gnu.org id=B31350.16017655364665 (code B ref 31350); Sat, 03 Oct 2020 22:53:01 +0000 Original-Received: (at 31350) by debbugs.gnu.org; 3 Oct 2020 22:52:16 +0000 Original-Received: from localhost ([127.0.0.1]:44584 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kOqO0-0001DB-H6 for submit@debbugs.gnu.org; Sat, 03 Oct 2020 18:52:16 -0400 Original-Received: from mout.web.de ([212.227.15.3]:45485) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kOqNy-0001Cy-By for 31350@debbugs.gnu.org; Sat, 03 Oct 2020 18:52:15 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1601765524; bh=TOwEfN3fGqilpP2lzD3bnQa8+iH8vL8PfyweVe9+ZWE=; h=X-UI-Sender-Class:From:To:Cc:Subject:References:Date:In-Reply-To; b=RHN4A6CZv3gAdVJBXDLz2PhsyeSanXlGewhnyrv6RZ8PqELKSFRVPRFenNo/DzM7q 6YV1hRNPz/wX95Voz+6gLn34TFg3yC0XkPBGh1PQAKkYwubxbveywGX9nxXdDzC1mj OppnubVnfilbFilzicpH+WwrUy84vvimCam7GXms= X-UI-Sender-Class: c548c8c5-30a9-4db5-a2e7-cb6cb037b8f9 Original-Received: from drachen.dragon ([94.218.220.78]) by smtp.web.de (mrweb003 [213.165.67.108]) with ESMTPSA (Nemesis) id 0MZlNu-1k6mMs0iJ4-00LVNM; Sun, 04 Oct 2020 00:52:04 +0200 In-Reply-To: <87364hs46h.fsf@gnus.org> (Lars Ingebrigtsen's message of "Thu, 20 Aug 2020 17:55:02 +0200") X-Provags-ID: V03:K1:7qhE55Vz+6LM9EXEaL7Ue2dZGNcsrqBf75FNmbs6i6+iIz8jiin vLbtgT9YrJL+IfXRCw7X1uQ2r5lo5f/JGYDnLevBmpCes8GD07HeYlW/fcS+ZZzYwOsAmcc SykkfGJtHNnrX/3T2GXw4cGdVv5F8KCBWQKRpTDunkbJfB33Z/6SZjAgT//67xyz0uBx3Zw VuGiGP8cLfZ4ZUbT1AD4w== X-UI-Out-Filterresults: notjunk:1;V03:K0:EmuiNeYSLng=:FFopY1Kk5gjSeU50IqLsDl BTtKIQQMpOcclEaU8G+FG7DB5p7BwOKffz9/J1Frr7VTGiLYDaRYsxRdn+xig8Zros/+gFFm2 EIHNbj/bzeltMM8LOUjHsbFsPqj6UOu0x5+4wduCLy0dhIowzTviRfqbI0M4jWa0cH/zqul7+ H/kHhiA56yHGABbeF/PkL54wL66K+8BJNUC1Hlcc2GyEjwkoRfbGETh6KjZDHjNdXTBvVkX5H vGGNCI4UzRwQkRmR5gtQMRg2miSTHA7AWw//TsaRqePRmeZjHbp3cJSrpSSiEiBgqGiygLcUQ A9XxO+cB0m9TwKwfdAz0PUDAvf4SQiUCqoNM7Kn8+d5GIELYmKnfve+JFCLMlYBIEUno6yBK6 meUEBIHam0+kYzFhmDDhtz3wFTmY6yFikDzg/T52zZ4S66NeZwE5VKtWAlRVWjuKuJJm/vkhe lNlP4G1g2clbn46X1USmbGpnUj1odLYbA6Yv/oISzZ9ijJpHieSENgQ88YKGG+zPZ+1i13dQd MDHfcKtpSnwy5sdhMewDO4RBx0bRmV/8WcRl2vThBPuekvnwYvtsv55XTsxTEEnz/UsVh4FGK dC31PndOAmYP21bntPw7pC/kbgdKnd1o3gOvJOv4TdRRcuID8/XMaG8rcBDnEcA1X5Gi/uOSv 1mbl2vatDYxR20+H+bsGbjPbAxYA20IQgZX/9FcwmKnYUSlrK4HKfrOmgGac4LBFt+42eiIgy NvfU3g/TL+Yf/wzrVXOjt4ACgBacSqaDvs1lmcT/DuJDYp73Cyb9ovLjDqGKZULLcZhbuTiX X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list 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-mx.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.io gmane.emacs.bugs:189728 Archived-At: Lars Ingebrigtsen writes: > > These are the two clauses in question: > > > > (`,a `(not,a)) > > ((and a (guard (not recursivep))) `(not ,a)) > > Can you post a complete test case that demonstrates the problem? Well, when we compile something like (defun test (foo recursivep) (pcase foo (a `(not ,a)) ((and a (guard recursivep)) `(not ,a)))) the message Drew means says Redundant pcase pattern: (and a (guard recursivep)) I'm happy with that, I think it tells anything I need to know. I'm not happy about the fact that I missed the `message' because it's only a message and I only see it when I look into the *Messages* buffer because it's overwritten very soon in the echo area. The compiler log only shows Compiling file /home/micha/today/pctest.el at Sun Oct 4 00:44:51 2020 pctest.el:46:1: Warning: Unused lexical argument `recursivep' which is confusing if you missed the message about the redundant pattern. Michael.