[Gcl-devel] Re: possible 2.7.0 compiler bug?

[Camm Maguire]

Thanks!  Should be fixed now.

Take care,

Robert Boyer <address@hidden> writes:

> I'm not 100% sure, but I suspect below is the root of a
> problem we are having building ACL2 3.0 with ordinary
> (non-Schelter) multiple-values.
> 
> Note that when the function 'silly' is compiled below, it is
> (incorrectly in my mind) asserted on the property list of
> 'silly' that this function returns only one value, an
> integer.  This seems, in any case, inconsistent, with what I
> expected.  Doesn't this seem wrong to you?  Contrast with
> what happens for the function foo, further below.
> 
> Bob
> 
> % xg
> GCL (GNU Common Lisp)  2.7.0 ANSI    Jun 22 2006 08:01:28
> 
> >(defun silly () (the (values (signed-byte 29) t) (values 10 'foo)))
> 
> SILLY
> 
> >(compile 'silly)
> 
> ;; Compiling /tmp/gazonk_26661_0.lsp.
> ;; 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 /tmp/gazonk_26661_0.o.
> Loading /tmp/gazonk_26661_0.o
> start address -T 0xac09c50 Finished loading /tmp/gazonk_26661_0.o
> #<compiled-function SILLY>
> NIL
> NIL
> 
> >(symbol-plist 'silly)
> 
> (SYSTEM:DEBUGGER (NIL) SYSTEM:PNAME "SILLY" SYSTEM:PROCLAIMED-FUNCTION
>     T SYSTEM:PROCLAIMED-RETURN-TYPE (INTEGER 0 268435455)
>     SYSTEM:PROCLAIMED-ARG-TYPES NIL)
> 
> >(defun foo (x y) (values x y))
> 
> FOO
> 
> >(compile 'foo)
> 
> ;; Compiling /tmp/gazonk_26692_0.lsp.
> ;; 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 /tmp/gazonk_26692_0.o.
> Loading /tmp/gazonk_26692_0.o
> start address -T 0xac09c50 Finished loading /tmp/gazonk_26692_0.o
> #<compiled-function FOO>
> NIL
> NIL
> 
> >(symbol-plist 'foo)
> 
> (SYSTEM:DEBUGGER (X Y) SYSTEM:PNAME "FOO" SYSTEM:PROCLAIMED-RETURN-TYPE
>     (VALUES T T) SYSTEM:PROCLAIMED-ARG-TYPES (T T))
> 
> >
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah