From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Lars Ingebrigtsen Newsgroups: gmane.emacs.bugs Subject: bug#31350: 27.0; `pcase' message: "Redundant pcase pattern" Date: Sun, 04 Oct 2020 16:03:00 +0200 Message-ID: <87v9fqrsvf.fsf@gnus.org> References: <86d352f4-5fa7-4bee-b72c-17e58aace43f@default> <87364hs46h.fsf@gnus.org> <87sgaudiss.fsf@web.de> <8bcc3be5-c9db-4015-8f0f-4efe77ff27ee@default> <87sgau93fh.fsf@web.de> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="13866"; 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: Michael Heerdegen Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sun Oct 04 16:04:11 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 1kP4cU-0003Tn-Vo for geb-bug-gnu-emacs@m.gmane-mx.org; Sun, 04 Oct 2020 16:04:10 +0200 Original-Received: from localhost ([::1]:55744 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kP4cU-000584-1T for geb-bug-gnu-emacs@m.gmane-mx.org; Sun, 04 Oct 2020 10:04:10 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:40372) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kP4cM-00057L-5Q for bug-gnu-emacs@gnu.org; Sun, 04 Oct 2020 10:04:02 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:35023) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kP4cL-0004On-Qt for bug-gnu-emacs@gnu.org; Sun, 04 Oct 2020 10:04:01 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kP4cL-0006uH-N3 for bug-gnu-emacs@gnu.org; Sun, 04 Oct 2020 10:04:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Lars Ingebrigtsen Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 04 Oct 2020 14:04: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.160182019226493 (code B ref 31350); Sun, 04 Oct 2020 14:04:01 +0000 Original-Received: (at 31350) by debbugs.gnu.org; 4 Oct 2020 14:03:12 +0000 Original-Received: from localhost ([127.0.0.1]:46569 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kP4bX-0006tF-Vk for submit@debbugs.gnu.org; Sun, 04 Oct 2020 10:03:12 -0400 Original-Received: from quimby.gnus.org ([95.216.78.240]:38100) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kP4bV-0006t1-WD for 31350@debbugs.gnu.org; Sun, 04 Oct 2020 10:03:10 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org; s=20200322; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date: References:Subject:Cc:To:From:Sender:Reply-To:Content-Transfer-Encoding: Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender: Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=DzEMT9djYMSoBGyT1EKX0psU64qHGqgVRekJTUhMIdg=; b=gaW7Mr/oR9W9w7AR2/l+J64JL5 vLHWOF3t524Zh7PBt1wnxWBmjxCPzREVkEVQpDMfWcWzjSdXUQX+h2+O9tSUZT4yxXkPRxtSCT+O8 /d3bdRMupW9hi/A1n2Lc0fXhljvtQoCwrW0liReMu0tWk61flH5XJ9DuNY03Tj/hpVU8=; Original-Received: from cm-84.212.202.86.getinternet.no ([84.212.202.86] helo=xo) by quimby with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1kP4bN-0003tc-Cp; Sun, 04 Oct 2020 16:03:03 +0200 Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwAgMAAAAqbBEUAAAABGdBTUEAALGPC/xhBQAAACBj SFJNAAB6JgAAgIQAAPoAAACA6AAAdTAAAOpgAAA6mAAAF3CculE8AAAADFBMVEVdXlJERTezpJ7/ ///LCyF1AAAAAWJLR0QDEQxM8gAAAAd0SU1FB+QKBA06Dk4aHO8AAAGVSURBVCjPPZE9i9tAEIZf GY0JrpSgDSkdSHHsr5gNUnBUzcJO4+pq/wr5SMBcfeklyMHe/sqMNk6mEHp2Pt75QIt/9gBoT20f pKmPmjC4INSSAemRdIzEbjHPxqod4BnKM3AoZtlgV/I7n2dfjhb2sbz5w9r4bAVkX95wXrLPhw5p f3vQ81V9nixseMqnD9fGlxNjbEs2T74UBgIbWAQ3ovapoqpJTKdR9SY5SxBo0LTpz8wdVId189zY EkW/VcjJqiUda87NZCDvR/J/cxJikFw9m07CVCp8Tg3ETcvF4JniAAo8V/ghI4i5em5NVGgU3MHa 0f5YwYqZjtYwpwLEx75lWLew1SnbLAPi19IDI09l/ZJtLCHI90t5bfOemujQWHOvuuxtdmcnEfzu lrbzbhMdeNktei6/BNxxWbr5NBUnaN1UfvYrn54MmKbnFzcr75yzu53wQksMu942ik/odFXeLqqj wG3QmY71SqQrR2sR0jU6pmvdPVTG4EZVomCQiNx2Edo8/20gsLv/Ow22BJfuEP8AOsKrOOgjuMAA AAAldEVYdGRhdGU6Y3JlYXRlADIwMjAtMTAtMDRUMTM6NTg6MTMrMDA6MDACzWo+AAAAJXRFWHRk YXRlOm1vZGlmeQAyMDIwLTEwLTA0VDEzOjU4OjEzKzAwOjAwc5DSggAAAABJRU5ErkJggg== X-Now-Playing: Trash Kit's _Teenagers_: "How D'You Do?" In-Reply-To: <87sgau93fh.fsf@web.de> (Michael Heerdegen's message of "Sun, 04 Oct 2020 03:37:38 +0200") 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:189754 Archived-At: Michael Heerdegen writes: > I think the message is more like a warning that a case can never match, > and in all cases where this happened to me, as also in your case, the > reason was a very obvious editing mistake. I don't think there is much > to say here, Emacs just tells you: this case here will never be used, > look what you have done wrong. Perhaps the warning should be more explicit? "Redundant pcase pattern" is obvious if you already know what it means, but if you don't, it's not. :-) So something like "pcase pattern shadowed by previous pcase pattern" or something along those lines? -- (domestic pets only, the antidote for overdose, milk.) bloggy blog: http://lars.ingebrigtsen.no