From: Stefan Monnier <monnier@iro.umontreal.ca>
To: Lars Ingebrigtsen <larsi@gnus.org>
Cc: Christopher Wellons <wellons@nullprogram.com>,
31641@debbugs.gnu.org, Noam Postavsky <npostavs@gmail.com>
Subject: bug#31641: 26.1; iter-do variable not left unused warning
Date: Thu, 04 Feb 2021 11:36:27 -0500 [thread overview]
Message-ID: <jwv1rdvdcko.fsf-monnier+emacs@gnu.org> (raw)
In-Reply-To: <87czxgtafv.fsf@gnus.org> (Lars Ingebrigtsen's message of "Thu, 04 Feb 2021 11:05:24 +0100")
>>> When byte-compiling an iter-do form with a variable intended to be
>>> left unused, the compiler emits a false warning:
>>>
>>> ;;; -*- lexical-binding: t; -*-
>>> (require 'generator)
>>> (iter-do (_ i))
>>> ;; -> "Warning: variable ‘_’ not left unused"
>>
>> Looking at the expansion, I guess the setf should be dropped if the
>> variable name starts with _.
>>
>> (let (_
>> #3=#:iter-do-result11
>> (#1=#:iter-do-iterator-done8 nil)
>> (#2=#:iter-do-iterator10 i))
>> (while (not #1#)
>> (condition-case #4=#:iter-do-condition9
>> (setf _ (iter-next #2#))
>> (iter-end-of-sequence
>> (setf #3# (cdr #4#))
>> (setf #1# t)))
>> (unless #1#))
>> #3#)
FWIW, I find the above expansion to provide somewhat "dirty" semantics
in the sense that
(let ((funs '()))
(iter-do (n i) (push (lambda () n) funs))
funs)
will return a list of functions which all return the same value (the
last `n`).
You can clean up this semantics and the warning at the same time by
using an expansion like:
(let (#3=#:iter-do-result11
(#1=#:iter-do-iterator-done8 nil)
(#2=#:iter-do-iterator10 i))
(while (not #1#)
(let ((_ (condition-case #4=#:iter-do-condition9
(iter-next #2#)
(iter-end-of-sequence
(setf #3# (cdr #4#))
(setf #1# t)))
(unless #1# [BODY])
#3#)
BTW, I think we can remove the duplicate #1 test by moving the body of
the `while` into its test, e.g.:
(let (#3=#:iter-do-result11
(#1=#:iter-do-iterator-done8 nil)
(#2=#:iter-do-iterator10 i))
(while
(let ((_ (condition-case #4=#:iter-do-condition9
(iter-next #2#)
(iter-end-of-sequence
(setf #3# (cdr #4#))
(setf #1# t)))))
(unless #1#
[BODY]
t)))
#3#)
It's too bad that [BODY] can throw `iter-end-of-sequence`, since
otherwise we could move the `condition-case` outside of the loop and get
something more efficient.
Stefan
> The following patch does this, but I'm not sure whether this is correct
> or not -- in other cases, the _ convention just removes the warning, but
> doesn't change the semantics.
>
> I wondered whether we could just suppress this warning like this:
>
> ,(if (string-match-p "\\`_" (symbol-name var))
> `(with-suppressed-warnings ((not-unused ,var))
> (setf ,var (iter-next ,it-symbol)))
> `(setf ,var (iter-next ,it-symbol)))
>
> But no, cconv--analyze-use is called too early, and would have to be
> taught about `with-suppressed-warnings'... which, looking at the code,
> isn't immediately obvious how to do.
>
> So does anybody have any ideas here?
>
> diff --git a/lisp/emacs-lisp/generator.el b/lisp/emacs-lisp/generator.el
> index 9eb6d95964..0b644cc72c 100644
> --- a/lisp/emacs-lisp/generator.el
> +++ b/lisp/emacs-lisp/generator.el
> @@ -731,7 +731,10 @@ iter-do
> (,it-symbol ,iterator))
> (while (not ,done-symbol)
> (condition-case ,condition-symbol
> - (setf ,var (iter-next ,it-symbol))
> + ;; Variables that start with an underscore shouldn't be set.
> + ,(if (string-match-p "\\`_" (symbol-name var))
> + nil
> + `(setf ,var (iter-next ,it-symbol)))
> (iter-end-of-sequence
> (setf ,result-symbol (cdr ,condition-symbol))
> (setf ,done-symbol t)))
next prev parent reply other threads:[~2021-02-04 16:36 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-05-29 13:12 bug#31641: 26.1; iter-do variable not left unused warning Christopher Wellons
2018-05-29 22:13 ` Noam Postavsky
2021-02-04 10:05 ` Lars Ingebrigtsen
2021-02-04 16:36 ` Stefan Monnier [this message]
2021-02-05 8:53 ` Lars Ingebrigtsen
2021-02-05 15:03 ` Stefan Monnier
2021-02-06 10:31 ` Lars Ingebrigtsen
2021-02-05 17:12 ` Basil L. Contovounesios
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/emacs/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=jwv1rdvdcko.fsf-monnier+emacs@gnu.org \
--to=monnier@iro.umontreal.ca \
--cc=31641@debbugs.gnu.org \
--cc=larsi@gnus.org \
--cc=npostavs@gmail.com \
--cc=wellons@nullprogram.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/emacs.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).