Greetings! What about "is of type NULL/(NOT NULL) ..." ?
Take care, Robert Boyer <[EMAIL PROTECTED]> writes: > What a lovely error message! > > Would the message be microscopically improved by saying "is > non-NIL" instead of "is T". > > You could ask, say, Pitman. [EMAIL PROTECTED], I think. I > continue to be worried that some day a non-NIL generalized > boolean other than T is going to make Nqthm and/or ACL2 > unsound. > > Thank you. > > Bob > > ------------------------------------------------------------------------------- > > > (setq compiler::*suppress-compiler-notes* nil) > > > (defun duhtest (x) > (cond ((or (atom x) (consp x)) nil) > (t (error "~a failed duhtest" x)))) > > > (compile *) > > ; (DEFUN DUHTEST ...) is being compiled. > ;; Note: Test form (OR (ATOM X) (CONSP X)) is T, > ;; eliminating branch (ERROR (LOAD-TIME-VALUE (SYSTEM:NANI 182869592)) > X) > > > > -- Camm Maguire [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/gcl-devel
