[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Should (buffer-list) ever return killed buffers?
From: |
Stefan Monnier |
Subject: |
Re: Should (buffer-list) ever return killed buffers? |
Date: |
Mon, 24 May 2021 15:55:54 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
>> I don't see how it explain anything. The fact that it may quit doesn't
>> imply it can run timers or run arbitrary code which could lead to the
>> return value containing dead buffers.
> Even within `while-no-input'?
Yes, even with that. "may quit" means just that: it can be interrupted
in the middle, but if so it won't return any list at all: it will
just quit. So when it does return, it always returns a list and it has
not been interrupted by any `quit` along the way, and no other ELisp
code can have run in-between either.
AFAIK
Stefan
- Should (buffer-list) ever return killed buffers?, Sergey Organov, 2021/05/23
- Re: Should (buffer-list) ever return killed buffers?, Stefan Monnier, 2021/05/23
- Re: Should (buffer-list) ever return killed buffers?, Sergey Organov, 2021/05/23
- Re: Should (buffer-list) ever return killed buffers?, Stefan Monnier, 2021/05/23
- Re: Should (buffer-list) ever return killed buffers?, martin rudalics, 2021/05/24
- Re: Should (buffer-list) ever return killed buffers?, Sergey Organov, 2021/05/24
- Re: Should (buffer-list) ever return killed buffers?, Stefan Monnier, 2021/05/24
- Re: Should (buffer-list) ever return killed buffers?, martin rudalics, 2021/05/24
- Re: Should (buffer-list) ever return killed buffers?,
Stefan Monnier <=
- Re: Should (buffer-list) ever return killed buffers?, Sergey Organov, 2021/05/24
- Re: Should (buffer-list) ever return killed buffers?, martin rudalics, 2021/05/25
[PATCH] Re: Should (buffer-list) ever return killed buffers?, Sergey Organov, 2021/05/24
Re: [PATCH] Re: Should (buffer-list) ever return killed buffers?, Eli Zaretskii, 2021/05/24
Re: [PATCH] Re: Should (buffer-list) ever return killed buffers?, martin rudalics, 2021/05/24
Re: [PATCH] Re: Should (buffer-list) ever return killed buffers?, Eli Zaretskii, 2021/05/24
Re: [PATCH] Re: Should (buffer-list) ever return killed buffers?, Sergey Organov, 2021/05/24
Re: [PATCH] Should (buffer-list) ever return killed buffers?, Philipp, 2021/05/24