Thanks! Should be fixed now. Take care,
Robert Boyer <[EMAIL PROTECTED]> 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 [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
