[Gcl-devel] Re: compiler bug in t4

[Camm Maguire]

Greetings!  I believe this is fixed now in cvs head.  Working on a t5
cleanup tag.

Take care,

Robert Boyer <address@hidden> writes:

> Just got t4 and tried to compile ACL2 but it quickly broke in the earliest
> part of compilation.  Here is any easy demo of the problem.
> 
> 1. Be connected to acl2/acl2-sources
> 2. Invoke gcl
> 3. (load "axioms.lisp")
> 4. (compile 'acl2::compress2)
> 
> As in the following transcript, it superficially looks like there is a
> bug in the function COMPILER::CONS-TYPE-LENGTH.
> 
> Bob
> 
> -------------------------------------------------------------------------------
> GCL (GNU Common Lisp)  2.7.0 ANSI  profiling  Aug  9 2005 08:58:26
> Source License: LGPL(gcl,gmp), 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.
> Loading init.lsp
> Loading acl2r.lisp
> Finished loading acl2r.lisp
> Loading acl2-init.lisp
> Loading acl2.lisp
> Loading acl2-fns.lisp
> Finished loading acl2-fns.lisp
> ;; Compiling acl2-fns.lisp.
> ;; End of Pass 1.  
> [GC for 58 SFUN pages..(T=4).GC finished]
> ;; End of Pass 2.  
> ;; OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3, 
> (Debug quality ignored)
> ;; Finished compiling acl2-fns.o.
> Loading acl2-fns.o
> start address -T 0xe4dec0 Finished loading acl2-fns.o
> Finished loading acl2.lisp
> Finished loading acl2-init.lisp
> Finished loading init.lsp
> 
> >(load "axioms.lisp")
> 
> Loading axioms.lisp
> [GC for 956 CONS pages..(T=4).GC finished]
> Finished loading axioms.lisp
> T
> 
> >(trace COMPILER::CONS-TYPE-LENGTH)
> 
> (COMPILER::CONS-TYPE-LENGTH)
> 
> >(compile 'acl2::compress2)
> 
> ;; Compiling ./gazonk3.lsp.
>   1> (COMPILER::CONS-TYPE-LENGTH (CONS (T) (CONS (T) (MEMBER NIL))))
>     2> (COMPILER::CONS-TYPE-LENGTH (CONS (T) (MEMBER NIL)))
>       3> (COMPILER::CONS-TYPE-LENGTH (MEMBER NIL))
>       <3 (COMPILER::CONS-TYPE-LENGTH NIL)
> 
> Raw Lisp Break.
> Error in SYSTEM::TRACE-CALL [or a callee]: NIL is not of type NUMBER.
> 
> Fast links are on: do (si::use-fast-links nil) for debugging
> Broken at APPLY.  Type :H for Help.
>  1 (Continue) Return to top level.
> dbl:>>
> 
> 
> 

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