changeset 52135:ab0708d3bb41

(noreturn): Report error if does return. (testcover-reinstrument-clauses): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Wed, 06 Aug 2003 01:10:37 +0000
parents d26709514a27
children 2df0dfd73718
files lisp/emacs-lisp/testcover.el
diffstat 1 files changed, 6 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/lisp/emacs-lisp/testcover.el	Wed Aug 06 01:09:33 2003 +0000
+++ b/lisp/emacs-lisp/testcover.el	Wed Aug 06 01:10:37 2003 +0000
@@ -334,8 +334,8 @@
     result))
 
 (defun testcover-reinstrument-clauses (clauselist)
-  "Reinstruments each list in CLAUSELIST.  Result is t if every
-clause is 1-valued."
+  "Reinstrument each list in CLAUSELIST.
+Result is t if every clause is 1-valued."
   (let ((result t))
     (mapc #'(lambda (x)
 	      (setq result (and (testcover-reinstrument-list x) result)))
@@ -349,13 +349,13 @@
     (eval-buffer buf t)))
 
 (defmacro 1value (form)
-  "For code-coverage testing, indicate that FORM is expected to always have
-the same value."
+  "For coverage testing, indicate FORM should always have the same value."
   form)
 
 (defmacro noreturn (form)
-  "For code-coverage testing, indicate that FORM will always signal an error."
-  form)
+  "For coverage testing, indicate that FORM will never return."
+  `(prog1 ,form
+     (error "Form marked with `noreturn' did return")))
 
 
 ;;;=========================================================================