gcl-devel
[Top][All Lists]
Advanced

[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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]