[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] Re: undeclared
From: |
Camm Maguire |
Subject: |
[Gcl-devel] Re: undeclared |
Date: |
14 Jul 2006 20:31:05 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
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 <address@hidden> 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 address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Gcl-devel] Re: undeclared,
Camm Maguire <=