Add specs for push, pop, dotimes, dolist, unless, when.

diff --git a/lisp/emacs-lisp/edebug.el b/lisp/emacs-lisp/edebug.el
index 1b3fdab1a4bb323d28f7ffe834095e35094a456d..15a8b7ff346a7814439462859a4328e1c8a2b558 100644 (file)
--- a/lisp/emacs-lisp/edebug.el
+++ b/lisp/emacs-lisp/edebug.el
@@ -2124,6 +2124,12 @@ expressions; a `progn' form will be returned enclosing these forms."
 (def-edebug-spec with-temp-buffer t)
 (def-edebug-spec with-temp-message t)
 (def-edebug-spec with-syntax-table t)
+(def-edebug-spec dolist '((symbolp form &rest form) &rest form))
+(def-edebug-spec dotimes '((symbolp form &rest form) &rest form))
+(def-edebug-spec push '(&rest form))
+(def-edebug-spec pop '(&rest form))
+(def-edebug-spec unless '(&rest form))
+(def-edebug-spec when '(&rest form))
 
 ;; Anything else?