bug#40432: 27.0.90; Edebug not possible if a cl-flet has an &optional argument

[Philipp Stephani]

Insert into *scratch*:

(defun foo ()
  (cl-flet ((bar (&optional qux) qux))
    (bar 123)))

Try to edebug this function (move point into it, hit C-u C-M-x).  This
gives an error:

Debugger entered--Lisp error: (wrong-number-of-arguments (2 . 2) 1)
  edebug-match-&optional(((qux) (188 . 191) . 192))
  #f(compiled-function (head cursor) #<bytecode 0x156fe4035165>)(&optional 
((qux) (188 . 191) . 192))
  edebug-list-form(((qux) (188 . 191) . 192))
  edebug-form((((&optional qux) qux) (177 (178 . 187) (188 . 191) . 192) (193 . 
196) . 197))
  edebug-match-form((((&optional qux) qux) (177 (178 . 187) (188 . 191) . 192) 
(193 . 196) . 197))
  edebug-match-symbol((((&optional qux) qux) (177 (178 . 187) (188 . 191) . 
192) (193 . 196) . 197) form)
  edebug-match-one-spec((((&optional qux) qux) (177 (178 . 187) (188 . 191) . 
192) (193 . 196) . 197) form)
  edebug-match-&or((((&optional qux) qux) (177 (178 . 187) (188 . 191) . 192) 
(193 . 196) . 197) (([&or "quote" "function"] &or symbolp lambda-expr) 
("cl-function" cl-function) form))
  edebug-match-specs((((&optional qux) qux) (177 (178 . 187) (188 . 191) . 192) 
(193 . 196) . 197) (&or ([&or "quote" "function"] &or symbolp lambda-expr) 
("cl-function" cl-function) form) edebug-match-specs)
  edebug-match((((&optional qux) qux) (177 (178 . 187) (188 . 191) . 192) (193 
. 196) . 197) (&or ([&or "quote" "function"] &or symbolp lambda-expr) 
("cl-function" cl-function) form))
  edebug-match-symbol((((&optional qux) qux) (177 (178 . 187) (188 . 191) . 
192) (193 . 196) . 197) function-form)
  edebug-match-one-spec((((&optional qux) qux) (177 (178 . 187) (188 . 191) . 
192) (193 . 196) . 197) function-form)
  edebug-match-specs((((&optional qux) qux) (177 (178 . 187) (188 . 191) . 192) 
(193 . 196) . 197) (function-form) edebug-match-specs)
  edebug-match-specs((((&optional qux) qux) (177 (178 . 187) (188 . 191) . 192) 
(193 . 196) . 197) (name function-form) edebug-match-specs)
  edebug-match((((&optional qux) qux) (177 (178 . 187) (188 . 191) . 192) (193 
. 196) . 197) (name function-form))
  edebug-make-form-wrapper((((&optional qux) qux) (177 (178 . 187) (188 . 191) 
. 192) (193 . 196) . 197) 173 197 (name function-form))
  edebug-match-&define((((&optional qux) qux) (177 (178 . 187) (188 . 191) . 
192) (193 . 196) . 197) (name function-form))
  edebug-match-specs((((&optional qux) qux) (177 (178 . 187) (188 . 191) . 192) 
(193 . 196) . 197) (&define name function-form) edebug-match-specs)
  edebug-match-sublist((((&optional qux) qux) (177 (178 . 187) (188 . 191) . 
192) (193 . 196) . 197) (&define name function-form))
  edebug-match-list((((bar (&optional qux) qux)) (172 (173 . 176) (177 (178 . 
187) (188 . 191) . 192) (193 . 196) . 197) . 198) (&define name function-form))
  edebug-match-one-spec((((bar (&optional qux) qux)) (172 (173 . 176) (177 (178 
. 187) (188 . 191) . 192) (193 . 196) . 197) . 198) (&define name 
function-form))
  edebug-match-&or((((bar (&optional qux) qux)) (172 (173 . 176) (177 (178 . 
187) (188 . 191) . 192) (193 . 196) . 197) . 198) ((&define name function-form) 
(cl-defun)))
  edebug-match-specs((((bar (&optional qux) qux)) (172 (173 . 176) (177 (178 . 
187) (188 . 191) . 192) (193 . 196) . 197) . 198) (&or (&define name 
function-form) (cl-defun)) edebug-match-specs)
  edebug-match((((bar (&optional qux) qux)) (172 (173 . 176) (177 (178 . 187) 
(188 . 191) . 192) (193 . 196) . 197) . 198) (&or (&define name function-form) 
(cl-defun)))
  edebug-match-one-spec((((bar (&optional qux) qux)) (172 (173 . 176) (177 (178 
. 187) (188 . 191) . 192) (193 . 196) . 197) . 198) [&or (&define name 
function-form) (cl-defun)])
  edebug-match-specs((((bar (&optional qux) qux)) (172 (173 . 176) (177 (178 . 
187) (188 . 191) . 192) (193 . 196) . 197) . 198) ([&or (&define name 
function-form) (cl-defun)]) edebug-&rest-wrapper)
  edebug-&optional-wrapper((((bar (&optional qux) qux)) (172 (173 . 176) (177 
(178 . 187) (188 . 191) . 192) (193 . 196) . 197) . 198) ([&or (&define name 
function-form) (cl-defun)]) edebug-&rest-wrapper)
  edebug-&rest-wrapper((((bar (&optional qux) qux)) (172 (173 . 176) (177 (178 
. 187) (188 . 191) . 192) (193 . 196) . 197) . 198) ([&or (&define name 
function-form) (cl-defun)]) edebug-&rest-wrapper)
  edebug-match-&rest((((bar (&optional qux) qux)) (172 (173 . 176) (177 (178 . 
187) (188 . 191) . 192) (193 . 196) . 197) . 198) ([&or (&define name 
function-form) (cl-defun)]))
  edebug-match-specs((((bar (&optional qux) qux)) (172 (173 . 176) (177 (178 . 
187) (188 . 191) . 192) (193 . 196) . 197) . 198) (&rest [&or (&define name 
function-form) (cl-defun)]) edebug-match-specs)
  edebug-match-sublist((((bar (&optional qux) qux)) (172 (173 . 176) (177 (178 
. 187) (188 . 191) . 192) (193 . 196) . 197) . 198) (&rest [&or (&define name 
function-form) (cl-defun)]))
  edebug-match-list(((((bar (&optional qux) qux)) (bar 123)) (171 (172 (173 . 
176) (177 (178 . 187) (188 . 191) . 192) (193 . 196) . 197) . 198) (203 (204 . 
207) (208 . 211) . 212) . 213) (&rest [&or (&define name function-form) 
(cl-defun)]))
  edebug-match-one-spec(((((bar (&optional qux) qux)) (bar 123)) (171 (172 (173 
. 176) (177 (178 . 187) (188 . 191) . 192) (193 . 196) . 197) . 198) (203 (204 
. 207) (208 . 211) . 212) . 213) (&rest [&or (&define name function-form) 
(cl-defun)]))
  edebug-match-specs(((((bar (&optional qux) qux)) (bar 123)) (171 (172 (173 . 
176) (177 (178 . 187) (188 . 191) . 192) (193 . 196) . 197) . 198) (203 (204 . 
207) (208 . 211) . 212) . 213) ((&rest [&or (&define name function-form) 
(cl-defun)]) cl-declarations body) edebug-match-specs)
  edebug-match-sublist(((((bar (&optional qux) qux)) (bar 123)) (171 (172 (173 
. 176) (177 (178 . 187) (188 . 191) . 192) (193 . 196) . 197) . 198) (203 (204 
. 207) (208 . 211) . 212) . 213) ((&rest [&or (&define name function-form) 
(cl-defun)]) cl-declarations body))
  #f(compiled-function (head cursor) #<bytecode 0x156fe4035165>)(cl-flet 
((((bar (&optional qux) qux)) (bar 123)) (171 (172 (173 . 176) (177 (178 . 187) 
(188 . 191) . 192) (193 . 196) . 197) . 198) (203 (204 . 207) (208 . 211) . 
212) . 213))
  edebug-list-form(((((bar (&optional qux) qux)) (bar 123)) (171 (172 (173 . 
176) (177 (178 . 187) (188 . 191) . 192) (193 . 196) . 197) . 198) (203 (204 . 
207) (208 . 211) . 212) . 213))
  edebug-form((((cl-flet ((bar (&optional qux) qux)) (bar 123))) (162 (163 . 
170) (171 (172 (173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 196) . 
197) . 198) (203 (204 . 207) (208 . 211) . 212) . 213) . 214))
  edebug-match-form((((cl-flet ((bar (&optional qux) qux)) (bar 123))) (162 
(163 . 170) (171 (172 (173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 
196) . 197) . 198) (203 (204 . 207) (208 . 211) . 212) . 213) . 214))
  edebug-match-symbol((((cl-flet ((bar (&optional qux) qux)) (bar 123))) (162 
(163 . 170) (171 (172 (173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 
196) . 197) . 198) (203 (204 . 207) (208 . 211) . 212) . 213) . 214) form)
  edebug-match-one-spec((((cl-flet ((bar (&optional qux) qux)) (bar 123))) (162 
(163 . 170) (171 (172 (173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 
196) . 197) . 198) (203 (204 . 207) (208 . 211) . 212) . 213) . 214) form)
  edebug-match-specs((((cl-flet ((bar (&optional qux) qux)) (bar 123))) (162 
(163 . 170) (171 (172 (173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 
196) . 197) . 198) (203 (204 . 207) (208 . 211) . 212) . 213) . 214) (form) 
edebug-&rest-wrapper)
  edebug-&optional-wrapper((((cl-flet ((bar (&optional qux) qux)) (bar 123))) 
(162 (163 . 170) (171 (172 (173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 
. 196) . 197) . 198) (203 (204 . 207) (208 . 211) . 212) . 213) . 214) (form) 
edebug-&rest-wrapper)
  edebug-&rest-wrapper((((cl-flet ((bar (&optional qux) qux)) (bar 123))) (162 
(163 . 170) (171 (172 (173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 
196) . 197) . 198) (203 (204 . 207) (208 . 211) . 212) . 213) . 214) (form) 
edebug-&rest-wrapper)
  edebug-match-&rest((((cl-flet ((bar (&optional qux) qux)) (bar 123))) (162 
(163 . 170) (171 (172 (173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 
196) . 197) . 198) (203 (204 . 207) (208 . 211) . 212) . 213) . 214) (form))
  edebug-match-specs((((cl-flet ((bar (&optional qux) qux)) (bar 123))) (162 
(163 . 170) (171 (172 (173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 
196) . 197) . 198) (203 (204 . 207) (208 . 211) . 212) . 213) . 214) (&rest 
form) edebug-match-specs)
  edebug-match((((cl-flet ((bar (&optional qux) qux)) (bar 123))) (162 (163 . 
170) (171 (172 (173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 196) . 
197) . 198) (203 (204 . 207) (208 . 211) . 212) . 213) . 214) (&rest form))
  edebug-match-def-body((((cl-flet ((bar (&optional qux) qux)) (bar 123))) (162 
(163 . 170) (171 (172 (173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 
196) . 197) . 198) (203 (204 . 207) (208 . 211) . 212) . 213) . 214))
  edebug-match-symbol((((cl-flet ((bar (&optional qux) qux)) (bar 123))) (162 
(163 . 170) (171 (172 (173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 
196) . 197) . 198) (203 (204 . 207) (208 . 211) . 212) . 213) . 214) def-body)
  edebug-match-one-spec((((cl-flet ((bar (&optional qux) qux)) (bar 123))) (162 
(163 . 170) (171 (172 (173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 
196) . 197) . 198) (203 (204 . 207) (208 . 211) . 212) . 213) . 214) def-body)
  edebug-match-specs((((cl-flet ((bar (&optional qux) qux)) (bar 123))) (162 
(163 . 170) (171 (172 (173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 
196) . 197) . 198) (203 (204 . 207) (208 . 211) . 212) . 213) . 214) (def-body) 
edebug-match-specs)
  edebug-match-specs((((cl-flet ((bar (&optional qux) qux)) (bar 123))) (162 
(163 . 170) (171 (172 (173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 
196) . 197) . 198) (203 (204 . 207) (208 . 211) . 212) . 213) . 214) 
([&optional ("interactive" interactive)] def-body) edebug-match-specs)
  edebug-match-specs((((cl-flet ((bar (&optional qux) qux)) (bar 123))) (162 
(163 . 170) (171 (172 (173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 
196) . 197) . 198) (203 (204 . 207) (208 . 211) . 212) . 213) . 214) 
([&optional ("declare" &rest sexp)] [&optional ("interactive" interactive)] 
def-body) edebug-match-specs)
  edebug-match-specs((((cl-flet ((bar (&optional qux) qux)) (bar 123))) (162 
(163 . 170) (171 (172 (173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 
196) . 197) . 198) (203 (204 . 207) (208 . 211) . 212) . 213) . 214) 
(lambda-doc [&optional ("declare" &rest sexp)] [&optional ("interactive" 
interactive)] def-body) edebug-match-specs)
  edebug-match-specs((((cl-flet ((bar (&optional qux) qux)) (bar 123))) (162 
(163 . 170) (171 (172 (173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 
196) . 197) . 198) (203 (204 . 207) (208 . 211) . 212) . 213) . 214) 
(lambda-list lambda-doc [&optional ("declare" &rest sexp)] [&optional 
("interactive" interactive)] def-body) edebug-match-specs)
  edebug-match-specs((((cl-flet ((bar (&optional qux) qux)) (bar 123))) (162 
(163 . 170) (171 (172 (173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 
196) . 197) . 198) (203 (204 . 207) (208 . 211) . 212) . 213) . 214) (name 
lambda-list lambda-doc [&optional ("declare" &rest sexp)] [&optional 
("interactive" interactive)] def-body) edebug-match-specs)
  edebug-match-specs((((cl-flet ((bar (&optional qux) qux)) (bar 123))) (162 
(163 . 170) (171 (172 (173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 
196) . 197) . 198) (203 (204 . 207) (208 . 211) . 212) . 213) . 214) ("defun" 
name lambda-list lambda-doc [&optional ("declare" &rest sexp)] [&optional 
("interactive" interactive)] def-body) edebug-match-specs)
  edebug-match-sublist((((cl-flet ((bar (&optional qux) qux)) (bar 123))) (162 
(163 . 170) (171 (172 (173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 
196) . 197) . 198) (203 (204 . 207) (208 . 211) . 212) . 213) . 214) ("defun" 
name lambda-list lambda-doc [&optional ("declare" &rest sexp)] [&optional 
("interactive" interactive)] def-body))
  edebug-match-list((((defun foo nil (cl-flet ((bar (&optional qux) qux)) (bar 
123)))) (146 (147 . 152) (153 . 156) (157 . 159) (162 (163 . 170) (171 (172 
(173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 196) . 197) . 198) (203 
(204 . 207) (208 . 211) . 212) . 213) . 214)) ("defun" name lambda-list 
lambda-doc [&optional ("declare" &rest sexp)] [&optional ("interactive" 
interactive)] def-body))
  edebug-match-one-spec((((defun foo nil (cl-flet ((bar (&optional qux) qux)) 
(bar 123)))) (146 (147 . 152) (153 . 156) (157 . 159) (162 (163 . 170) (171 
(172 (173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 196) . 197) . 198) 
(203 (204 . 207) (208 . 211) . 212) . 213) . 214)) ("defun" name lambda-list 
lambda-doc [&optional ("declare" &rest sexp)] [&optional ("interactive" 
interactive)] def-body))
  edebug-match-specs((((defun foo nil (cl-flet ((bar (&optional qux) qux)) (bar 
123)))) (146 (147 . 152) (153 . 156) (157 . 159) (162 (163 . 170) (171 (172 
(173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 196) . 197) . 198) (203 
(204 . 207) (208 . 211) . 212) . 213) . 214)) (("defun" name lambda-list 
lambda-doc [&optional ("declare" &rest sexp)] [&optional ("interactive" 
interactive)] def-body)) edebug-match-specs)
  edebug-match((((defun foo nil (cl-flet ((bar (&optional qux) qux)) (bar 
123)))) (146 (147 . 152) (153 . 156) (157 . 159) (162 (163 . 170) (171 (172 
(173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 196) . 197) . 198) (203 
(204 . 207) (208 . 211) . 212) . 213) . 214)) (("defun" name lambda-list 
lambda-doc [&optional ("declare" &rest sexp)] [&optional ("interactive" 
interactive)] def-body)))
  edebug-make-form-wrapper((((defun foo nil (cl-flet ((bar (&optional qux) 
qux)) (bar 123)))) (146 (147 . 152) (153 . 156) (157 . 159) (162 (163 . 170) 
(171 (172 (173 . 176) (177 (178 . 187) (188 . 191) . 192) (193 . 196) . 197) . 
198) (203 (204 . 207) (208 . 211) . 212) . 213) . 214)) 146 213 (("defun" name 
lambda-list lambda-doc [&optional ("declare" &rest sexp)] [&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 60694 8220)
 (symbols 48 8240 1)
 (strings 32 21021 1702)
 (string-bytes 1 684629)
 (vectors 16 12143)
 (vector-slots 8 169106 5388)
 (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.