From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail
From: Stefan Monnier <monnier@iro.umontreal.ca>
Newsgroups: gmane.emacs.bugs
Subject: bug#45619: 28.0.50; pcase-let on MacOS doesn't work
Date: Mon, 04 Jan 2021 15:37:59 -0500
Message-ID: <jwvwnws1lvf.fsf-monnier+emacs@gnu.org>
References: <tencent_420EB82A750AC42DCD81ECB23589C171FE07@qq.com>
 <877dos50su.fsf@web.de> <jwvft3gtxfb.fsf-monnier+emacs@gnu.org>
 <8735zg4h29.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="4210"; mail-complaints-to="usenet@ciao.gmane.io"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)
Cc: jixiuf <jixiuf@qq.com>, 45619@debbugs.gnu.org
To: Michael Heerdegen <michael_heerdegen@web.de>
Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Mon Jan 04 21:39:25 2021
Return-path: <bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org>
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 <bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org>)
	id 1kwWdR-0000y8-7d
	for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 04 Jan 2021 21:39:25 +0100
Original-Received: from localhost ([::1]:39390 helo=lists1p.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.90_1)
	(envelope-from <bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org>)
	id 1kwWdQ-000371-8D
	for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 04 Jan 2021 15:39:24 -0500
Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:52510)
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
 id 1kwWd4-00035s-6K
 for bug-gnu-emacs@gnu.org; Mon, 04 Jan 2021 15:39:02 -0500
Original-Received: from debbugs.gnu.org ([209.51.188.43]:48872)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.90_1) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
 id 1kwWd3-0002Gt-UU
 for bug-gnu-emacs@gnu.org; Mon, 04 Jan 2021 15:39:01 -0500
Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1kwWd3-0004hh-SL
 for bug-gnu-emacs@gnu.org; Mon, 04 Jan 2021 15:39:01 -0500
X-Loop: help-debbugs@gnu.org
Resent-From: Stefan Monnier <monnier@iro.umontreal.ca>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@gnu.org
Resent-Date: Mon, 04 Jan 2021 20:39:01 +0000
Resent-Message-ID: <handler.45619.B45619.160979268918023@debbugs.gnu.org>
Resent-Sender: help-debbugs@gnu.org
X-GNU-PR-Message: followup 45619
X-GNU-PR-Package: emacs
Original-Received: via spool by 45619-submit@debbugs.gnu.org id=B45619.160979268918023
 (code B ref 45619); Mon, 04 Jan 2021 20:39:01 +0000
Original-Received: (at 45619) by debbugs.gnu.org; 4 Jan 2021 20:38:09 +0000
Original-Received: from localhost ([127.0.0.1]:60418 helo=debbugs.gnu.org)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
 id 1kwWcD-0004gc-2l
 for submit@debbugs.gnu.org; Mon, 04 Jan 2021 15:38:09 -0500
Original-Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:47202)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <monnier@iro.umontreal.ca>) id 1kwWcB-0004fz-KU
 for 45619@debbugs.gnu.org; Mon, 04 Jan 2021 15:38:08 -0500
Original-Received: from pmg3.iro.umontreal.ca (localhost [127.0.0.1])
 by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id D7ED444108E;
 Mon,  4 Jan 2021 15:38:01 -0500 (EST)
Original-Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1])
 by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id A7E82440F44;
 Mon,  4 Jan 2021 15:38:00 -0500 (EST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca;
 s=mail; t=1609792680;
 bh=btZvEZmyE/HXN5W/IB6YyYG7MKyaqNEvX9KOzzosWGs=;
 h=From:To:Cc:Subject:References:Date:In-Reply-To:From;
 b=SiqT3yc4aAXxRaBpomuhFxuMowL+D9oGDUscT7muTmyQDI4k36VIlQLtJNjqPj9d/
 TPup2ZJPAjPNiiSTEJpDYCVDvXih9XYIpPOUqLz6LEZz96OxVBW4bm2r64QwVTBZe7
 +Qldt/npcX0oGq6l58JErFxlyEJ4nLebEiJ67xGxZKnfspp/HwosR44IHahCU4E4nZ
 WZ8Unt39ZXintLwj3I7bdiw+M7D2TQqsu0B6KOXTkC8RCwuy9UUsqttzhy2WCG9G1f
 ZkBwf3Z64Sbw6MV+Ig/6RlyCoRNoceKQW/iC6+aAC/J54JuACYKPk/tllditLxECgk
 vJ+V/8iAg3JJw==
Original-Received: from alfajor (unknown [104.247.243.191])
 by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 3AE8A12050E;
 Mon,  4 Jan 2021 15:38:00 -0500 (EST)
In-Reply-To: <8735zg4h29.fsf@web.de> (Michael Heerdegen's message of "Mon, 04
 Jan 2021 20:50:54 +0100")
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" <bug-gnu-emacs.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-gnu-emacs>,
 <mailto:bug-gnu-emacs-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/bug-gnu-emacs>
List-Post: <mailto:bug-gnu-emacs@gnu.org>
List-Help: <mailto:bug-gnu-emacs-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-gnu-emacs>,
 <mailto:bug-gnu-emacs-request@gnu.org?subject=subscribe>
Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org
Original-Sender: "bug-gnu-emacs"
 <bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org>
Xref: news.gmane.io gmane.emacs.bugs:197335
Archived-At: <http://permalink.gmane.org/gmane.emacs.bugs/197335>

> (pcase-let ((default-directory "/tmp/"))
>   (call-interactively 'find-file))
>
> I wonder what is messier: the warnings or the semantics resulting from
> avoiding the warnings.  I guess people would more often complain about
> the warnings...

I think the cleaner semantics is to say that if variables bound by pcase
are dynamically scoped the behavior is "undefined", and to add
a check&warning about it in pcase (the problem with the old "unused
var" warning is that it was cumbersome to avoid it, whereas this new
warning would be easy to avoid by moving the binding to a separate
`let`).


        Stefan