Greetings! This seems cleared too now. Take care,
Robert Boyer <[EMAIL PROTECTED]> writes: > Below is a little evidence of a possible compiler bug in the latest GCL > 2.7.0. In the ordinary (first) compilation of ACL2, the compilation of > the very old function ONE-WAY-UNIFY1 is causing the strange error report: > > ;; Warning: The variable ALIST1 is not used. > ;; Warning: The variable PKG is not used. > ;; Warning: The variable ALIST1 is not used. > > That's incorrect, I think. And, furthermore, if I try to compile > ONE-WAY-UNIFY1 later from the sources in the resulting ACL2, there is no > error report. > > Bob > > ------------------------------------------------------------------------------- > A log leading to the report above. > > > Loading acl2-check.lisp > Check completed. > Finished loading acl2-check.lisp > Loading axioms.lisp > Finished loading axioms.lisp > ;; Compiling axioms.lisp. > ;; End of Pass 1. > ;; End of Pass 2. > axioms.c: In function `LI468': > axioms.c:29912: warning: comparison is always true due to limited range of > data type > ;; OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3, > (Debug quality ignored) > ;; Finished compiling axioms.o. > Loading axioms.o > start address -T 0xad5cb60 Finished loading axioms.o > Loading basis.lisp > Finished loading basis.lisp > ;; Compiling basis.lisp. > ;; 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 basis.o. > Loading basis.o > start address -T 0xad91220 Finished loading basis.o > Loading translate.lisp > Finished loading translate.lisp > ;; Compiling translate.lisp. > ; (DEFUN MAPDO ...) is being compiled. > ;; Warning: The variable RST is not used. > ;; 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 translate.o. > Loading translate.o > start address -T 0xadde5c0 Finished loading translate.o > Loading type-set-a.lisp > Finished loading type-set-a.lisp > ;; Compiling type-set-a.lisp. > ;; 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 type-set-a.o. > Loading type-set-a.o > start address -T 0xad8d3a0 Finished loading type-set-a.o > Loading linear-a.lisp > Finished loading linear-a.lisp > ;; Compiling linear-a.lisp. > ;; 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 linear-a.o. > Loading linear-a.o > start address -T 0xad4ba00 Finished loading linear-a.o > Loading type-set-b.lisp > Finished loading type-set-b.lisp > ;; Compiling type-set-b.lisp. > ; (DEFUN ONE-WAY-UNIFY1 ...) is being compiled. > ;; Warning: The variable ALIST1 is not used. > ;; Warning: The variable PKG is not used. > ;; Warning: The variable ALIST1 is not used. > ;; 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 type-set-b.o. > Loading type-set-b.o > > > -- 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