Greetings! Can I reproduce this easily?
Somehow, your C file swallowed a newline before the {object V2891;. This is impossible accoring to the lisp code, as far as I can see, but of course said code could be miscompiled. I'm committing a few unrelated changes which should address the std-instance printing. You might want to save your current copy for use in debugging to save some rebuilding time. Take care, Robert Boyer <[EMAIL PROTECTED]> writes: > For one evolving version of ACL2, I can no longer compile one of the > earlier files in the ACL2 build with the latest 2.7.0. The file in > question, which I don't think has changed, 'translate.lisp'. Here's > the error report during the compilation: > > ;; Finished compiling /tmp/gazonk_25065_WAlelh.o. > Loading /tmp/gazonk_25065_WAlelh.o > start address -T 0xb000ac0 Finished loading /tmp/gazonk_25065_WAlelh.o > start address -T 0xb0c5560 Finished loading basis.o > Loading translate.lisp > Finished loading translate.lisp > ;; Compiling translate.lisp. > [GC for 2904 RELOCATABLE-BLOCKS pages..(T=8).GC finished] > ;; End of Pass 1. > ;; End of Pass 2. > translate.c: In function `LI104': > translate.c:24375: error: `V2891' undeclared (first use in this function) > translate.c:24375: error: (Each undeclared identifier is reported only once > translate.c:24375: error: for each function it appears in.) > translate.c:24381: error: `V2888' undeclared (first use in this function) > > I have marked !! 'near' the suspect line in the translate.c file. > > T5006:; > {register object V2888; > object V2887[2]; > #define V2889 V2887[0] > #define V2890 V2887[1]{object V2891; > V2891= (((object)VV[330])->s.s_dbind); > !! V2892= make_cons(((object)VV[6]),(V2104)); > V2893= make_cons(/* INLINE-ARGS */V2892,Cnil); > V2888= ((*LnkLI381)(V2887,(V2109),V2891,/* INLINE-ARGS > */V2893,(V2875))); > vs_top=sup;goto T5013;} > if(vs_base>=vs_top){vs_top=sup;goto T5010;} > V2888= vs_base[0]; > > Bob > > > -- 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