[Gcl-devel] Re: compiler bug in 2.7.0

[Camm Maguire]

Greetings, and thanks!  Believe this is fixed now.

Take care,

Robert Boyer <address@hidden> writes:

> I believe that the following transcript illustrates some sort of problem with
> the compiler in the current 2.7.0.  There was no complaint from GCL 2.6.6 or
> Allegro.
> 
> Bob
> 
> -------------------------------------------------------------------------------
> 
> % g
> GCL (GNU Common Lisp)  2.7.0 ANSI    Nov 20 2005 15:31:44
> 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.
> 
> >(defvar *CHT*)
> 
> (defun after-gbc ()
>   (let ((prev -1)
>       (zero-inc 0)
>       (i 0))
>     (setf
>      (aref *cht* i)
>      (cond ((= prev 0)
>           (setq zero-inc (the fixnum (+ 1 zero-inc)))
>           (setq prev 0))
>          (t (setq prev 1))))
>     zero-inc))
> 
> 
> 
> 
> *CHT*
> 
> >
> AFTER-GBC
> 
> >(compile *)
> 
> ;; Compiling ./gazonk2.lsp.
> ; (DEFUN AFTER-GBC ...) is being compiled.
> ;; Warning: Type mismatches between ZERO-INC and (THE FIXNUM
>                                                    (+ 1 ZERO-INC)).
> ;; 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 ./gazonk2.o.
> Loading /v/filer2/boyer/work/consensus-code/gazonk2.o
> start address -T 0xa09a4c0 Finished loading 
> /v/filer2/boyer/work/consensus-code/gazonk2.o
> #<compiled-function AFTER-GBC>
> NIL
> NIL
> 
> >
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah