From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail
From: Michael Heerdegen via "Emacs development discussions." <emacs-devel@gnu.org>
Newsgroups: gmane.emacs.devel
Subject: Re: unwind-protect within while-no-input
Date: Thu, 09 May 2024 16:13:27 +0200
Message-ID: <87wmo3f4zc.fsf@web.de>
References: <ier5xvvnjwy.fsf@janestreet.com> <ier8r0lsdj1.fsf@janestreet.com>
 <86msp1a24a.fsf@gnu.org> <ier4jb9s900.fsf@janestreet.com>
 <87le4l2btq.fsf@yahoo.com> <874jb8il6t.fsf@web.de>
 <87y18kh6eg.fsf@web.de> <ierwmo4quyz.fsf@janestreet.com>
 <87h6f8gu43.fsf@web.de> <ier7cg4ql1n.fsf@janestreet.com>
 <87v83of30t.fsf@web.de> <ierwmo3p2ga.fsf@janestreet.com>
Reply-To: Michael Heerdegen <michael_heerdegen@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="39394"; mail-complaints-to="usenet@ciao.gmane.io"
User-Agent: Gnus/5.13 (Gnus v5.13)
To: emacs-devel@gnu.org
Cancel-Lock: sha1:XG5FAk+JTlq+dwoIux6HzsMgOG8=
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Thu May 09 16:13:30 2024
Return-path: <emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org>
Envelope-to: ged-emacs-devel@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 <emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org>)
	id 1s54WY-000A4g-3H
	for ged-emacs-devel@m.gmane-mx.org; Thu, 09 May 2024 16:13:30 +0200
Original-Received: from localhost ([::1] helo=lists1p.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.90_1)
	(envelope-from <emacs-devel-bounces@gnu.org>)
	id 1s54W1-0002Ub-57; Thu, 09 May 2024 10:12:57 -0400
Original-Received: from eggs.gnu.org ([2001:470:142:3::10])
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <ged-emacs-devel@m.gmane-mx.org>)
 id 1s54Vz-0002U4-Uc
 for emacs-devel@gnu.org; Thu, 09 May 2024 10:12:55 -0400
Original-Received: from ciao.gmane.io ([116.202.254.214])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <ged-emacs-devel@m.gmane-mx.org>)
 id 1s54Vw-0007DJ-9z
 for emacs-devel@gnu.org; Thu, 09 May 2024 10:12:55 -0400
Original-Received: from list by ciao.gmane.io with local (Exim 4.92)
 (envelope-from <ged-emacs-devel@m.gmane-mx.org>) id 1s54Vu-0009BD-C6
 for emacs-devel@gnu.org; Thu, 09 May 2024 16:12:50 +0200
X-Injected-Via-Gmane: http://gmane.org/
Received-SPF: pass client-ip=116.202.254.214;
 envelope-from=ged-emacs-devel@m.gmane-mx.org; helo=ciao.gmane.io
X-Spam_score_int: -15
X-Spam_score: -1.6
X-Spam_bar: -
X-Spam_report: (-1.6 / 5.0 requ) BAYES_00=-1.9,
 FREEMAIL_FORGED_FROMDOMAIN=0.001, FREEMAIL_FROM=0.001,
 HEADER_FROM_DIFFERENT_DOMAINS=0.25, SPF_HELO_NONE=0.001,
 SPF_PASS=-0.001 autolearn=no autolearn_force=no
X-Spam_action: no action
X-BeenThere: emacs-devel@gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Emacs development discussions." <emacs-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-devel>,
 <mailto:emacs-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/emacs-devel>
List-Post: <mailto:emacs-devel@gnu.org>
List-Help: <mailto:emacs-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-devel>,
 <mailto:emacs-devel-request@gnu.org?subject=subscribe>
Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org
Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org
Xref: news.gmane.io gmane.emacs.devel:319081
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/319081>

Spencer Baugh <sbaugh@janestreet.com> writes:

> That unwind-form is only protected once inhibit-quit is bound.  But at
> the start of its evaluation, it is not protected because inhibit-quit is
> not bound.  Is it possible for a quit to be raised there, before the
> protection starts?

As far as I understand, this is possible, but Emacs will always start
executing the unwind forms, it will never silently skip them completely.

But my insights here are limited compared to other participants.

Michael.