[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] Re: possible 2.7.0 compiler bug?
From: |
Camm Maguire |
Subject: |
[Gcl-devel] Re: possible 2.7.0 compiler bug? |
Date: |
22 Jun 2006 15:38:35 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Gcl-devel] Re: possible 2.7.0 compiler bug?,
Camm Maguire <=