From 91cbc31fa9fd6df416f499fc89c4114979c5b12e Mon Sep 17 00:00:00 2001 From: "Richard M. Stallman" Date: Wed, 6 Aug 2003 01:10:37 +0000 Subject: [PATCH] (noreturn): Report error if does return. (testcover-reinstrument-clauses): Doc fix. --- lisp/emacs-lisp/testcover.el | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/lisp/emacs-lisp/testcover.el b/lisp/emacs-lisp/testcover.el index d422a42374b..8826a22e237 100644 --- a/lisp/emacs-lisp/testcover.el +++ b/lisp/emacs-lisp/testcover.el @@ -334,8 +334,8 @@ always be nil, so we return t for 1-valued." 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 @@ clause is 1-valued." (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"))) ;;;========================================================================= -- 2.39.2