# HG changeset patch
# User Dave Love <fx@gnu.org>
# Date 949097549 0
# Node ID b51c38875faf00ccee0b3da36df7c7f34158da2b
# Parent  a5ab0c9ced781a1afaf39e7c34de868b4182a996
Add specs for push, pop, dotimes, dolist, unless, when.

diff -r a5ab0c9ced78 -r b51c38875faf lisp/emacs-lisp/edebug.el
--- a/lisp/emacs-lisp/edebug.el	Fri Jan 28 22:10:18 2000 +0000
+++ b/lisp/emacs-lisp/edebug.el	Fri Jan 28 22:12:29 2000 +0000
@@ -2124,6 +2124,12 @@
 (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?