Package: emacs;
Reported by: Philipp Stephani <p.stephani2 <at> gmail.com>
Date: Sat, 4 Apr 2020 16:19:01 UTC
Severity: normal
Tags: confirmed
Found in version 27.0.90
Done: Philipp Stephani <p.stephani2 <at> gmail.com>
Bug is archived. No further changes may be made.
To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 40431 in the body.
You can then email your comments to 40431 AT debbugs.gnu.org in the normal way.
Toggle the display of automated, internal messages from the tracker.
View this report as an mbox folder, status mbox, maintainer mbox
bug-gnu-emacs <at> gnu.org
:bug#40431
; Package emacs
.
(Sat, 04 Apr 2020 16:19:01 GMT) Full text and rfc822 format available.Philipp Stephani <p.stephani2 <at> gmail.com>
:bug-gnu-emacs <at> gnu.org
.
(Sat, 04 Apr 2020 16:19:01 GMT) Full text and rfc822 format available.Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
From: Philipp Stephani <p.stephani2 <at> gmail.com> To: bug-gnu-emacs <at> gnu.org Subject: 27.0.90; Can't edebug cl-defuns with &aux destructuring Date: Sat, 04 Apr 2020 18:17:52 +0200
Insert into *scratch*: (cl-defun foo (&aux ((a . b) '(1 . 2))) (list a b)) Now try to edebug this function (move point into it, hit C-u C-M-x). This gives an error: Debugger entered--Lisp error: (invalid-read-syntax "Expected one of" arg nil) signal(invalid-read-syntax ("Expected one of" arg nil)) edebug-syntax-error("Expected one of" arg nil) apply(edebug-syntax-error ("Expected one of" arg nil)) edebug-no-match(((((a . b) '(1 . 2))) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) "Expected one of" arg nil) apply(edebug-no-match ((((a . b) '(1 . 2))) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) "Expected one of" (arg nil)) edebug-match-&or(((((a . b) '(1 . 2))) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) (arg nil)) edebug-match-specs(((((a . b) '(1 . 2))) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) (&or arg nil) edebug-match-specs) edebug-match(((((a . b) '(1 . 2))) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) (&or arg nil)) edebug-match-one-spec(((((a . b) '(1 . 2))) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) [&or arg nil]) edebug-match-specs(((((a . b) '(1 . 2))) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) ([&or arg nil]) edebug-match-specs) edebug-match-specs(((((a . b) '(1 . 2))) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) [&or arg nil] edebug-match-specs) edebug-match-specs(((((a . b) '(1 . 2))) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) ([&optional ["&aux" &rest &or (symbolp &optional def-form) symbolp]] . [&or arg nil]) edebug-match-specs) edebug-match-specs(((((a . b) '(1 . 2))) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) ([&optional ["&key" [cl-&key-arg &rest cl-&key-arg] &optional "&allow-other-keys"]] [&optional ["&aux" &rest &or (symbolp &optional def-form) symbolp]] . [&or arg nil]) edebug-match-specs) edebug-match-specs(((((a . b) '(1 . 2))) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) ([&optional ["&rest" cl-lambda-arg]] [&optional ["&key" [cl-&key-arg &rest cl-&key-arg] &optional "&allow-other-keys"]] [&optional ["&aux" &rest &or (symbolp &optional def-form) symbolp]] . [&or arg nil]) edebug-match-specs) edebug-match-specs(((((a . b) '(1 . 2))) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) ([&optional ["&optional" cl-&optional-arg &rest cl-&optional-arg]] [&optional ["&rest" cl-lambda-arg]] [&optional ["&key" [cl-&key-arg &rest cl-&key-arg] &optional "&allow-other-keys"]] [&optional ["&aux" &rest &or (symbolp &optional def-form) symbolp]] . [&or arg nil]) edebug-match-specs) edebug-match-specs(((((a . b) '(1 . 2))) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) ([&rest cl-lambda-arg] [&optional ["&optional" cl-&optional-arg &rest cl-&optional-arg]] [&optional ["&rest" cl-lambda-arg]] [&optional ["&key" [cl-&key-arg &rest cl-&key-arg] &optional "&allow-other-keys"]] [&optional ["&aux" &rest &or (symbolp &optional def-form) symbolp]] . [&or arg nil]) edebug-match-specs) edebug-match-sublist(((((a . b) '(1 . 2))) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) ([&rest cl-lambda-arg] [&optional ["&optional" cl-&optional-arg &rest cl-&optional-arg]] [&optional ["&rest" cl-lambda-arg]] [&optional ["&key" [cl-&key-arg &rest cl-&key-arg] &optional "&allow-other-keys"]] [&optional ["&aux" &rest &or (symbolp &optional def-form) symbolp]] . [&or arg nil])) edebug-match-list((((&aux ((a . b) '(1 . 2))) (list a b)) (160 (161 . 165) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) (188 (189 . 193) (194 . 195) (196 . 197) . 198) . 199) ([&rest cl-lambda-arg] [&optional ["&optional" cl-&optional-arg &rest cl-&optional-arg]] [&optional ["&rest" cl-lambda-arg]] [&optional ["&key" [cl-&key-arg &rest cl-&key-arg] &optional "&allow-other-keys"]] [&optional ["&aux" &rest &or (symbolp &optional def-form) symbolp]] . [&or arg nil])) edebug-match-one-spec((((&aux ((a . b) '(1 . 2))) (list a b)) (160 (161 . 165) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) (188 (189 . 193) (194 . 195) (196 . 197) . 198) . 199) ([&rest cl-lambda-arg] [&optional ["&optional" cl-&optional-arg &rest cl-&optional-arg]] [&optional ["&rest" cl-lambda-arg]] [&optional ["&key" [cl-&key-arg &rest cl-&key-arg] &optional "&allow-other-keys"]] [&optional ["&aux" &rest &or (symbolp &optional def-form) symbolp]] . [&or arg nil])) edebug-match-specs((((&aux ((a . b) '(1 . 2))) (list a b)) (160 (161 . 165) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) (188 (189 . 193) (194 . 195) (196 . 197) . 198) . 199) (([&rest cl-lambda-arg] [&optional ["&optional" cl-&optional-arg &rest cl-&optional-arg]] [&optional ["&rest" cl-lambda-arg]] [&optional ["&key" [cl-&key-arg &rest cl-&key-arg] &optional "&allow-other-keys"]] [&optional ["&aux" &rest &or (symbolp &optional def-form) symbolp]] . [&or arg nil])) edebug-match-specs) edebug-match((((&aux ((a . b) '(1 . 2))) (list a b)) (160 (161 . 165) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) (188 (189 . 193) (194 . 195) (196 . 197) . 198) . 199) (([&rest cl-lambda-arg] [&optional ["&optional" cl-&optional-arg &rest cl-&optional-arg]] [&optional ["&rest" cl-lambda-arg]] [&optional ["&key" [cl-&key-arg &rest cl-&key-arg] &optional "&allow-other-keys"]] [&optional ["&aux" &rest &or (symbolp &optional def-form) symbolp]] . [&or arg nil]))) edebug-match-symbol((((&aux ((a . b) '(1 . 2))) (list a b)) (160 (161 . 165) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) (188 (189 . 193) (194 . 195) (196 . 197) . 198) . 199) cl-lambda-list) edebug-match-one-spec((((&aux ((a . b) '(1 . 2))) (list a b)) (160 (161 . 165) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) (188 (189 . 193) (194 . 195) (196 . 197) . 198) . 199) cl-lambda-list) edebug-match-specs((((&aux ((a . b) '(1 . 2))) (list a b)) (160 (161 . 165) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) (188 (189 . 193) (194 . 195) (196 . 197) . 198) . 199) (cl-lambda-list cl-declarations-or-string [&optional ("interactive" interactive)] def-body) edebug-match-specs) edebug-match-specs((((&aux ((a . b) '(1 . 2))) (list a b)) (160 (161 . 165) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) (188 (189 . 193) (194 . 195) (196 . 197) . 198) . 199) ([&or name ("setf" :name setf name)] cl-lambda-list cl-declarations-or-string [&optional ("interactive" interactive)] def-body) edebug-match-specs) edebug-match-specs((((&aux ((a . b) '(1 . 2))) (list a b)) (160 (161 . 165) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) (188 (189 . 193) (194 . 195) (196 . 197) . 198) . 199) ("cl-defun" [&or name ("setf" :name setf name)] cl-lambda-list cl-declarations-or-string [&optional ("interactive" interactive)] def-body) edebug-match-specs) edebug-match-sublist((((&aux ((a . b) '(1 . 2))) (list a b)) (160 (161 . 165) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) (188 (189 . 193) (194 . 195) (196 . 197) . 198) . 199) ("cl-defun" [&or name ("setf" :name setf name)] cl-lambda-list cl-declarations-or-string [&optional ("interactive" interactive)] def-body)) edebug-match-list((((cl-defun foo (&aux ((a . b) '(1 . 2))) (list a b))) (146 (147 . 155) (156 . 159) (160 (161 . 165) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) (188 (189 . 193) (194 . 195) (196 . 197) . 198) . 199)) ("cl-defun" [&or name ("setf" :name setf name)] cl-lambda-list cl-declarations-or-string [&optional ("interactive" interactive)] def-body)) edebug-match-one-spec((((cl-defun foo (&aux ((a . b) '(1 . 2))) (list a b))) (146 (147 . 155) (156 . 159) (160 (161 . 165) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) (188 (189 . 193) (194 . 195) (196 . 197) . 198) . 199)) ("cl-defun" [&or name ("setf" :name setf name)] cl-lambda-list cl-declarations-or-string [&optional ("interactive" interactive)] def-body)) edebug-match-specs((((cl-defun foo (&aux ((a . b) '(1 . 2))) (list a b))) (146 (147 . 155) (156 . 159) (160 (161 . 165) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) (188 (189 . 193) (194 . 195) (196 . 197) . 198) . 199)) (("cl-defun" [&or name ("setf" :name setf name)] cl-lambda-list cl-declarations-or-string [&optional ("interactive" interactive)] def-body)) edebug-match-specs) edebug-match((((cl-defun foo (&aux ((a . b) '(1 . 2))) (list a b))) (146 (147 . 155) (156 . 159) (160 (161 . 165) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) (188 (189 . 193) (194 . 195) (196 . 197) . 198) . 199)) (("cl-defun" [&or name ("setf" :name setf name)] cl-lambda-list cl-declarations-or-string [&optional ("interactive" interactive)] def-body))) edebug-make-form-wrapper((((cl-defun foo (&aux ((a . b) '(1 . 2))) (list a b))) (146 (147 . 155) (156 . 159) (160 (161 . 165) (166 (167 (168 . 169) (171 . 173) . 174) (175 (175 . 176) (176 (177 . 178) (180 . 182) . 183) . 183) . 184) . 185) (188 (189 . 193) (194 . 195) (196 . 197) . 198) . 199)) 146 198 (("cl-defun" [&or name ("setf" :name setf name)] cl-lambda-list cl-declarations-or-string [&optional ("interactive" interactive)] def-body))) edebug-read-and-maybe-wrap-form1() edebug-read-and-maybe-wrap-form() edebug-read-top-level-form() edebug-eval-defun((4)) apply(edebug-eval-defun (4)) eval-defun((4)) funcall-interactively(eval-defun (4)) call-interactively(eval-defun nil nil) command-execute(eval-defun) In GNU Emacs 27.0.90 (build 1, x86_64-pc-linux-gnu, GTK+ Version 3.24.12) of 2020-04-03 Repository revision: fa823653ffb0e3e893d30daa5abf68e909934e2e Repository branch: emacs-27 Windowing system distributor 'The X.Org Foundation', version 11.0.12004000 System Description: Debian GNU/Linux rodete Recent messages: For information about GNU Emacs and the GNU system, type C-h C-a. Configured using: 'configure --enable-gcc-warnings=warn-only --enable-gtk-deprecation-warnings --without-pop --with-mailutils --enable-checking --enable-check-lisp-object-type --with-modules 'CFLAGS=-O0 -ggdb3'' Configured features: XPM JPEG TIFF GIF PNG SOUND DBUS GSETTINGS GLIB NOTIFY INOTIFY LIBSELINUX GNUTLS FREETYPE HARFBUZZ XFT ZLIB TOOLKIT_SCROLL_BARS GTK3 X11 XDBE XIM MODULES THREADS PDUMPER GMP Important settings: value of $LANG: en_US.UTF-8 locale-coding-system: utf-8-unix Major mode: Lisp Interaction Minor modes in effect: tooltip-mode: t global-eldoc-mode: t eldoc-mode: t electric-indent-mode: t mouse-wheel-mode: t tool-bar-mode: t menu-bar-mode: t file-name-shadow-mode: t global-font-lock-mode: t font-lock-mode: t blink-cursor-mode: t auto-composition-mode: t auto-encryption-mode: t auto-compression-mode: t line-number-mode: t transient-mark-mode: t Load-path shadows: None found. Features: (shadow sort mail-extr emacsbug message rmc dired dired-loaddefs format-spec rfc822 mml easymenu mml-sec epa epg epg-config gnus-util rmail rmail-loaddefs text-property-search time-date mm-decode mm-bodies mm-encode mail-parse rfc2231 mailabbrev gmm-utils mailheader sendmail rfc2047 rfc2045 ietf-drums mm-util mail-prsvr mail-utils phst skeleton derived edmacro kmacro pcase ffap thingatpt url-parse auth-source cl-seq eieio eieio-core cl-macs eieio-loaddefs password-cache json map url-vars subr-x rx gnutls puny seq byte-opt gv bytecomp byte-compile cconv dbus xml cl-loaddefs cl-lib tooltip eldoc electric uniquify ediff-hook vc-hooks lisp-float-type mwheel term/x-win x-win term/common-win x-dnd tool-bar dnd fontset image regexp-opt fringe tabulated-list replace newcomment text-mode elisp-mode lisp-mode prog-mode register page tab-bar menu-bar rfn-eshadow isearch timer select scroll-bar mouse jit-lock font-lock syntax facemenu font-core term/tty-colors frame minibuffer cl-generic cham georgian utf-8-lang misc-lang vietnamese tibetan thai tai-viet lao korean japanese eucjp-ms cp51932 hebrew greek romanian slovak czech european ethiopic indian cyrillic chinese composite charscript charprop case-table epa-hook jka-cmpr-hook help simple abbrev obarray cl-preloaded nadvice loaddefs button faces cus-face macroexp files text-properties overlay sha1 md5 base64 format env code-pages mule custom widget hashtable-print-readable backquote threads dbusbind inotify dynamic-setting system-font-setting font-render-setting move-toolbar gtk x-toolkit x multi-tty make-network-process emacs) Memory information: ((conses 16 60657 8869) (symbols 48 8240 1) (strings 32 21020 1889) (string-bytes 1 684567) (vectors 16 12144) (vector-slots 8 169116 5378) (floats 8 25 25) (intervals 56 202 0) (buffers 1000 12)) -- Google Germany GmbH Erika-Mann-Straße 33 80636 München Registergericht und -nummer: Hamburg, HRB 86891 Sitz der Gesellschaft: Hamburg Geschäftsführer: Paul Manicle, Halimah DeLaine Prado If you received this communication by mistake, please don’t forward it to anyone else (it may contain confidential or privileged information), please erase all copies of it, including all attachments, and please let the sender know it went to the wrong person. Thanks.
bug-gnu-emacs <at> gnu.org
:bug#40431
; Package emacs
.
(Sat, 04 Apr 2020 16:25:01 GMT) Full text and rfc822 format available.Message #8 received at 40431 <at> debbugs.gnu.org (full text, mbox):
From: Andreas Schwab <schwab <at> linux-m68k.org> To: Philipp Stephani <p.stephani2 <at> gmail.com> Cc: 40431 <at> debbugs.gnu.org Subject: Re: bug#40431: 27.0.90; Can't edebug cl-defuns with &aux destructuring Date: Sat, 04 Apr 2020 18:24:23 +0200
On Apr 04 2020, Philipp Stephani wrote: > Insert into *scratch*: > > (cl-defun foo (&aux ((a . b) '(1 . 2))) > (list a b)) > > Now try to edebug this function (move point into it, hit C-u C-M-x). > This gives an error: > > Debugger entered--Lisp error: (invalid-read-syntax "Expected one of" arg nil) Did you load cl-macs before running edebug? Andreas. -- Andreas Schwab, schwab <at> linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."
bug-gnu-emacs <at> gnu.org
:bug#40431
; Package emacs
.
(Sat, 04 Apr 2020 16:28:01 GMT) Full text and rfc822 format available.Message #11 received at 40431 <at> debbugs.gnu.org (full text, mbox):
From: Philipp Stephani <p.stephani2 <at> gmail.com> To: Andreas Schwab <schwab <at> linux-m68k.org> Cc: 40431 <at> debbugs.gnu.org Subject: Re: bug#40431: 27.0.90; Can't edebug cl-defuns with &aux destructuring Date: Sat, 4 Apr 2020 18:27:08 +0200
Am Sa., 4. Apr. 2020 um 18:24 Uhr schrieb Andreas Schwab <schwab <at> linux-m68k.org>: > > On Apr 04 2020, Philipp Stephani wrote: > > > Insert into *scratch*: > > > > (cl-defun foo (&aux ((a . b) '(1 . 2))) > > (list a b)) > > > > Now try to edebug this function (move point into it, hit C-u C-M-x). > > This gives an error: > > > > Debugger entered--Lisp error: (invalid-read-syntax "Expected one of" arg nil) > > Did you load cl-macs before running edebug? > No, but it also doesn't seem to make a difference.
Noam Postavsky <npostavs <at> gmail.com>
to control <at> debbugs.gnu.org
.
(Sun, 05 Apr 2020 00:34:02 GMT) Full text and rfc822 format available.bug-gnu-emacs <at> gnu.org
:bug#40431
; Package emacs
.
(Wed, 10 Jun 2020 11:34:02 GMT) Full text and rfc822 format available.Message #16 received at 40431 <at> debbugs.gnu.org (full text, mbox):
From: Philipp Stephani <p.stephani2 <at> gmail.com> To: 40431 <at> debbugs.gnu.org Subject: Re: bug#40431: 27.0.90; Can't edebug cl-defuns with &aux destructuring Date: Wed, 10 Jun 2020 13:32:54 +0200
Am Sa., 4. Apr. 2020 um 18:19 Uhr schrieb Philipp Stephani <p.stephani2 <at> gmail.com>: > > > Insert into *scratch*: > > (cl-defun foo (&aux ((a . b) '(1 . 2))) > (list a b)) > > Now try to edebug this function (move point into it, hit C-u C-M-x). > This gives an error: > > Debugger entered--Lisp error: (invalid-read-syntax "Expected one of" arg nil) My guess is that in the specification ["&aux" &rest &or (symbolp &optional def-form) symbolp] we should replace 'symbolp' with 'cl-macro-arg'. This might cause other issues, however, as that specification is probably no longer decidable.
Philipp Stephani <p.stephani2 <at> gmail.com>
:Philipp Stephani <p.stephani2 <at> gmail.com>
:Message #21 received at 40431-done <at> debbugs.gnu.org (full text, mbox):
From: Philipp Stephani <p.stephani2 <at> gmail.com> To: 40431-done <at> debbugs.gnu.org Subject: Re: bug#40431: 27.0.90; Can't edebug cl-defuns with &aux destructuring Date: Wed, 10 Jun 2020 15:43:03 +0200
Am Mi., 10. Juni 2020 um 13:32 Uhr schrieb Philipp Stephani <p.stephani2 <at> gmail.com>: > > Am Sa., 4. Apr. 2020 um 18:19 Uhr schrieb Philipp Stephani > <p.stephani2 <at> gmail.com>: > > > > > > Insert into *scratch*: > > > > (cl-defun foo (&aux ((a . b) '(1 . 2))) > > (list a b)) > > > > Now try to edebug this function (move point into it, hit C-u C-M-x). > > This gives an error: > > > > Debugger entered--Lisp error: (invalid-read-syntax "Expected one of" arg nil) > > My guess is that in the specification > > ["&aux" &rest &or (symbolp &optional def-form) symbolp] > > we should replace 'symbolp' with 'cl-macro-arg'. This might cause > other issues, however, as that specification is probably no longer > decidable. Actually, &optional uses the same thing, which appears to work fine, so I went ahead and implemented this with commit 73be4d1ed5b190bd93e9bad6aebe43d0dea0d7d3.
Debbugs Internal Request <help-debbugs <at> gnu.org>
to internal_control <at> debbugs.gnu.org
.
(Thu, 09 Jul 2020 11:24:04 GMT) Full text and rfc822 format available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.