Greetings! OK, this should be resolved now. We now eliminate branches on which any variable can be inferred to be of type nil. Try compiling with compiler::*suppress-compiler-notes* set to nil.
Take care, Robert Boyer <[EMAIL PROTECTED]> writes: > Below is a pretty funny 2.7.0 compiler warning. > > Bob > > ------------------------------------------------------------------------------- > > % xg > GCL (GNU Common Lisp) 2.7.0 ANSI Apr 1 2006 15:10:32 > > >(defun duhtest (x) > (cond ((or (atom x) (consp x)) nil) > (t (error "~a failed duhtest" x)))) > > DUHTEST > > >(compile *) > > ;; Compiling /tmp/gazonk_23485_0.lsp. > ; (DEFUN DUHTEST ...) is being compiled. > ;; Warning: The type of the form X is not *, but NIL. > ;; End of Pass 1. > ;; End of Pass 2. > ;; OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3, > (Debug quality ignored) > ;; Finished compiling /tmp/gazonk_23485_0.o. > Loading /tmp/gazonk_23485_0.o > start address -T 0xab02488 Finished loading /tmp/gazonk_23485_0.o > #<compiled-function DUHTEST> > NIL > NIL > > > > > > -- 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
