[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] Re: A pretty funny 2.7.0 compiler warning
From: |
Camm Maguire |
Subject: |
[Gcl-devel] Re: A pretty funny 2.7.0 compiler warning |
Date: |
14 Apr 2006 13:00:44 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
Greetings!
What about "is of type NULL/(NOT NULL) ..." ?
Take care,
Robert Boyer <address@hidden> 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. address@hidden, 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 address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah