From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: npostavs@users.sourceforge.net Newsgroups: gmane.emacs.bugs Subject: bug#25558: Spurious warnings with variables mentioned only pcase guard patterns Date: Fri, 27 Jan 2017 19:24:41 -0500 Message-ID: <87vat0rpyu.fsf@users.sourceforge.net> References: NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1485563063 32708 195.159.176.226 (28 Jan 2017 00:24:23 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 28 Jan 2017 00:24:23 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux) Cc: 25558@debbugs.gnu.org To: =?UTF-8?Q?Cl=C3=A9ment?= Pit--Claudel Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Sat Jan 28 01:24:13 2017 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cXGoJ-00074O-Jm for geb-bug-gnu-emacs@m.gmane.org; Sat, 28 Jan 2017 01:24:07 +0100 Original-Received: from localhost ([::1]:49408 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cXGoO-0006ka-MG for geb-bug-gnu-emacs@m.gmane.org; Fri, 27 Jan 2017 19:24:12 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:59870) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cXGoI-0006jX-M7 for bug-gnu-emacs@gnu.org; Fri, 27 Jan 2017 19:24:07 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cXGoE-0006dS-Og for bug-gnu-emacs@gnu.org; Fri, 27 Jan 2017 19:24:06 -0500 Original-Received: from debbugs.gnu.org ([208.118.235.43]:50482) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1cXGoE-0006dO-LR for bug-gnu-emacs@gnu.org; Fri, 27 Jan 2017 19:24:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1cXGoE-0008I0-Ff for bug-gnu-emacs@gnu.org; Fri, 27 Jan 2017 19:24:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: npostavs@users.sourceforge.net Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 28 Jan 2017 00:24:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 25558 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 25558-submit@debbugs.gnu.org id=B25558.148556302131836 (code B ref 25558); Sat, 28 Jan 2017 00:24:02 +0000 Original-Received: (at 25558) by debbugs.gnu.org; 28 Jan 2017 00:23:41 +0000 Original-Received: from localhost ([127.0.0.1]:48681 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cXGns-0008HP-Qe for submit@debbugs.gnu.org; Fri, 27 Jan 2017 19:23:40 -0500 Original-Received: from mail-io0-f173.google.com ([209.85.223.173]:36022) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cXGnq-0008H1-Gd; Fri, 27 Jan 2017 19:23:38 -0500 Original-Received: by mail-io0-f173.google.com with SMTP id j13so72780755iod.3; Fri, 27 Jan 2017 16:23:38 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=sender:from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-transfer-encoding; bh=GLPV4V40jSEVKNWsor9gQOCxBRKztUcszxZJe3XYyfA=; b=bptOfIvQKqPslzH1oTjzjyYC18JSkPWNjhwHjohxHvALbiLhjC6B/s+huRrH1JdmbM gDTsOMBJa4NlxQy/dul+fHX4n+L8dNEoqBXSD2FIr+isMmrVJQBLr6LP6Wn+BhSMCeV6 SzouD4vFTdkZ8fLvmKvoAaxqT2hLGZKA/eVDJZtJjmLHwASb0Y3BSEq8hGZLtj3ZB9eV 6p0RhxnA4SRuqVU5qsaJ5SWmaSxv+pyWOoidqtq6ngi5KcqHnBe86muWMUCzD8bwe+Io 91YNfRniPaLRJ3vyvUOiAYH8O3yIQw7mfqaW5IzBp/zUVYACxi3MntVDBqNR6B/IyJvO fe0A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:sender:from:to:cc:subject:references:date :in-reply-to:message-id:user-agent:mime-version :content-transfer-encoding; bh=GLPV4V40jSEVKNWsor9gQOCxBRKztUcszxZJe3XYyfA=; b=tQ0G1len92DphVhI9E4gxVdTPyX994LZwNw1N9I4J7Qg9lsRuXwPgp+ixxmU/COBls P8N1xN8czRCoyERvlq46L9BXFU12R2bmxho8pcKT8uaVX7zUmaGx9o7uqGp3Og1JTjeg 7dZecSfHQNWsWnZPDcFVZt91IsYMYdWG7lzuNPbVTHlWuJUHJEWCqItYyYGMikDGlrD3 NItHcUPnNBuGYwEvrJBq/RmZ/Xgjing2mVtoi+LlqCbzlgXN2QHZFdCR008aBPB5RYm7 8297RmWshxzJrV9NfUQ23ySBHgcdV1vNGBGcQ5wkYEEBKoVnj47OiNKjm/ICmNAfhbsB 2MBw== X-Gm-Message-State: AIkVDXJf9zwBNx5KMDyv5pwl7DLXgB8GRMRCECp32kfbanTB9xlX8bXNZjcwxhVrrXx1/A== X-Received: by 10.107.131.229 with SMTP id n98mr11516183ioi.39.1485563012713; Fri, 27 Jan 2017 16:23:32 -0800 (PST) Original-Received: from zony ([45.2.7.65]) by smtp.googlemail.com with ESMTPSA id j14sm3922776itd.0.2017.01.27.16.23.31 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Fri, 27 Jan 2017 16:23:32 -0800 (PST) In-Reply-To: ("=?UTF-8?Q?Cl=C3=A9ment?= Pit--Claudel"'s message of "Fri, 27 Jan 2017 19:14:54 -0500") X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.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" Xref: news.gmane.org gmane.emacs.bugs:128701 Archived-At: forcemerge 16771 25558 quit Cl=C3=A9ment Pit--Claudel writes: > The following causes a warning (unused variable 'b'): > > (pcase '(1 2) ((and `(,a ,b) (guard (equal a b))) a)) > > This is due to pcase let-binding 'a' twice; once around the guard test ('= (equal a b)'), and once around the body ('a'). This was reported as #16771. It seems difficult to fix, unfortunately.