[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


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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]