From: Dave Love <fx@gnu.org>
Date: Fri, 28 Jan 2000 22:12:29 +0000 (+0000)
Subject: Add specs for push, pop, dotimes, dolist, unless, when.
X-Git-Tag: emacs-pretest-21.0.90~5212
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=ba5494eb571a56caa9adabdb01b706a080579f7a;p=emacs.git

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

diff --git a/lisp/emacs-lisp/edebug.el b/lisp/emacs-lisp/edebug.el
index 1b3fdab1a4b..15a8b7ff346 100644
--- 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?