Greetings! The compiler currently wraps (and always has wrapped) the branching form in a (the boolean ..) to make use of o\inline optimizers in gcl_cmpopt.lsp which require a boolean result. With the more complete type system, boolean is mow `(member t nil), which does not intersect with the return type of list. The wrapping/optimizer relationships need to be rethought now.
Take care, Robert Boyer <[EMAIL PROTECTED]> writes: > This new compiler warning in very old code is suspicious. Could be a new, > overly zealous type inference! > > Bob > > % xg > GCL (GNU Common Lisp) 2.7.0 ANSI Mar 15 2006 18:07:14 > Source License: LGPL(gcl,gmp,pargcl), GPL(unexec,bfd) > Binary License: GPL due to GPL'ed components: (BFD UNEXEC) > Modifications of this banner must retain notice of a compatible license > Dedicated to the memory of W. Schelter > > Use (help) to get some basic information on how to use GCL. > Temporary directory for compiler files set to /tmp/ > > >(DEFUN FOO () (LET (I (LIS1 (NREVERSE (GET-STACK-NAME1 NIL)))) > (LET (COLL1 POIN1 VAL1) > (MACROLET > ((SLOCAL-FINISH NIL (LIST 'GO 'SCFINISH-LOOP)) > (SLOOP-FINISH NIL (LIST 'GO 'SCFINISH-LOOP)) > (SLOOP-RETURN (&REST SCVALS) > (LIST 'RETURN-FROM 'NIL (LIST* 'VALUES SCVALS)))) > (BLOCK () > (TAGBODY > SCNEXT-LOOP > (AND (NULL LIS1) (SLOCAL-FINISH)) > (SCDESETQ I (CAR LIS1)) > (SETF VAL1 (LIST '|.| I)) > (COND > (POIN1 > (AND (SETF (CDR POIN1) VAL1) > (SETF POIN1 (LAST (CDR POIN1))))) > (T (SETF POIN1 (LAST (SETF COLL1 VAL1))))) > (SETF LIS1 (CDR LIS1)) > (GO SCNEXT-LOOP) > SCFINISH-LOOP > (RETURN-FROM () COLL1) > (SLOOP-RETURN NIL))))))) > > FOO > > >(compile *) > > ;; Compiling /tmp/gazonk_17844_0.lsp. > ; (DEFUN FOO ...) is being compiled. > ;; Warning: Type mismatch was found in (THE BOOLEAN > (SETF (CDR POIN1) VAL1)). > ;; Warning: Type mismatch was found in (THE BOOLEAN > (SETF (CDR POIN1) VAL1)). > ;; End of Pass 1. > ;; End of Pass 2. > /tmp/gazonk_17844_0.c:400: warning: `__huge_val' defined but not used > ;; OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3, > (Debug quality ignored) > ;; Finished compiling /tmp/gazonk_17844_0.o. > Loading /tmp/gazonk_17844_0.o > start address -T 0xab5ebb0 Finished loading /tmp/gazonk_17844_0.o > #<compiled-function FOO> > NIL > NIL > > > > > > -- Camm Maguire [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org http://lists.gnu.org/mailman/listinfo/gcl-devel
