Greetings! I believe this is fixed now in cvs head. Working on a t5 cleanup tag.
Take care, Robert Boyer <[EMAIL PROTECTED]> 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 [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
