Add edebug specs for macros `1value' and `noreturn'.

diff --git a/lisp/ChangeLog b/lisp/ChangeLog
index 95d1125ad9d62277e6136f05c0eccdc5142ef323..f35d9bf898aed3f0a31274555c841042bab08009 100644 (file)
--- a/lisp/ChangeLog
+++ b/lisp/ChangeLog
@@ -1,3 +1,15 @@
+2003-11-30  Jonathan Yavner  <jyavner@member.fsf.org>
+
+       * subr.el (noreturn, 1value): New macros for test coverage.  See
+       `testcover.el'.
+
+       * emacs-lisp/edebug.el: Add def-edebug-spec for `noreturn' and `1value'.
+
+       * emacs-lisp/testcover.el (testcover-reinstrument): Special case
+       for macro `1value'.
+       (testcover-1value): New function.  Checks that a 1value form
+       actually returns only one value.  Requested by RMS.
+
 2003-11-29  Nick Roberts  <nick@nick.uklinux.net>
 
        * gdb-ui.el (gud-watch, gdb-var-create-handler)

diff --git a/lisp/emacs-lisp/edebug.el b/lisp/emacs-lisp/edebug.el
index 74ea2f37b227c594ea68969ae394c3a79ab632ad..1ef30a309a3bd286bc4f8911f550f2467a8cf14b 100644 (file)
--- a/lisp/emacs-lisp/edebug.el
+++ b/lisp/emacs-lisp/edebug.el
@@ -2090,6 +2090,10 @@ expressions; a `progn' form will be returned enclosing these forms."
 (def-edebug-spec push (form sexp))
 (def-edebug-spec pop (sexp))
 
+(def-edebug-spec 1value (form))
+(def-edebug-spec noreturn (form))
+
+
 ;; Anything else?