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

2 files changed, 16 insertions, 0 deletions

diff --git a/lisp/ChangeLog b/lisp/ChangeLog
index 95d1125ad9d..f35d9bf898a 100644
--- 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 74ea2f37b22..1ef30a309a3 100644
--- 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?