Re: Type propagation (was Re: [Gcl-devel] New random tester failures)

[Camm Maguire]

Greetings, and thanks!  OK, should be fixed now (though quickly).
Please test.

Take care,

"Paul F. Dietz" <address@hidden> writes:

> Camm Maguire wrote:
> > Greetings!
> > OK, take two is committed.
> 
> It aborts now during the compile of ansi-aux.lsp (see attached dribble file).
> 
>       Paul
> 
> 
> 
> Starts dribbling to out (2004/12/14, 5:40:53).
> NIL
> 
> >
> (load "gclload1.lsp")
> Loading gclload1.lsp
> Loading compile-and-load.lsp
> Finished loading compile-and-load.lsp
> Loading rt-package.lsp
> Finished loading rt-package.lsp
> Compiling rt.lsp.
> 
> ;; Note: var X-LEN is type FIXNUM from deduced function return type, declaring
> 
> ;; Note: var Y-LEN is type FIXNUM from deduced function return type, declaring
> 
> ;; Note: Let bindings ((X-LEN (LENGTH X)) (Y-LEN (LENGTH Y))) declared 
> ((FIXNUM
>                                                                          
> X-LEN)
>                                                                         
> (FIXNUM
>                                                                          
> Y-LEN))
> 
> ;; Note: var #:G1909 is type FIXNUM from outer scope, but is already declared
> ; (DEFUN DO-ENTRY ...) is being compiled.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> End of Pass 1.  
> 
> ;; Note: Tail-recursive call of EQUALP-WITH-CASE was replaced by iteration.
> ;; Note: Tail-recursive call of EQUALP-WITH-CASE was replaced by iteration.
> End of Pass 2.  
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3, 
> (Debug quality ignored)
> Finished compiling rt.lsp.
> Loading rt.o
> Finished loading rt.o
> Loading cl-test-package.lsp
> Finished loading cl-test-package.lsp
> Compiling ansi-aux-macros.lsp.
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=3, Space=0, Speed=3, (Debug quality ignored)
> Finished compiling ansi-aux-macros.lsp.
> Loading ansi-aux-macros.o
> Finished loading ansi-aux-macros.o
> Loading universe.lsp
> Finished loading universe.lsp
> Compiling random-aux.lsp.
> 
> ;; Note: var LEN is type FIXNUM from deduced function return type, declaring
> 
> ;; Note: Let bindings ((LEN (LENGTH SEQ))) declared ((FIXNUM LEN))
> 
> ;; Note: var LEN is type FIXNUM from deduced function return type, declaring
> 
> ;; Note: Let bindings ((LEN (LENGTH CASES))) declared ((FIXNUM LEN))
> 
> ;; Note: var ETYPE is type SYMBOL from deduced function return type, but is 
> changed in other bindings
> 
> ;; Note: var LEN is type FIXNUM from deduced function return type, declaring
> 
> ;; Note: Let* bindings ((LEN (LENGTH S)) (LEN2 (RANDOM (1+ LEN)))) declared 
> ((FIXNUM
>                                                                               
> LEN))
> 
> ;; Note: var LEN is type FIXNUM from deduced function return type, declaring
> 
> ;; Note: Let bindings ((LEN (LENGTH SEQ))) declared ((FIXNUM LEN))
> 
> ;; Note: var I is type FIXNUM from outer scope, but is already declared
> End of Pass 1.  
> End of Pass 2.  
> OPTIMIZE levels: Safety=3, Space=0, Speed=3, (Debug quality ignored)
> Finished compiling random-aux.lsp.
> Loading random-aux.o
> Finished loading random-aux.o
> Compiling ansi-aux.lsp.
> 
> ;; Note: var N is type FIXNUM from outer scope, but is already declared
> ; (DEFUN CHECK-VALUES-LENGTH ...) is being compiled.
> ;; Warning: The ignored variable E is used.
> 
> ;; Note: var LEN is type FIXNUM from deduced function return type, declaring
> 
> ;; Note: Let bindings ((LEN (LENGTH VARS)) (V (GENSYM))) declared ((FIXNUM
>                                                                     LEN))
> ; (DEFUN EQUAL-ARRAY ...) is being compiled.
> ;; Warning: Type declaration was found for not bound variable A2.
> ;; Warning: Type declaration was found for not bound variable A1.
> ; (DEFUN CHECK-TYPE-PREDICATE ...) is being compiled.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ; (DEFUN CLASSIFY-ERROR** ...) is being compiled.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> 
> ;; Note: var *READ-DEFAULT-FLOAT-FORMAT* is type SYMBOL from deduced function 
> return type, declaring
> 
> ;; Note: Let* bindings ((*PACKAGE* (FIND-PACKAGE :CL-USER))
>                         (*PRINT-ARRAY* T) (*PRINT-BASE* 10)
>                         (*PRINT-CASE* :UPCASE) (*PRINT-CIRCLE* NIL)
>                         (*PRINT-ESCAPE* T) (*PRINT-GENSYM* T)
>                         (*PRINT-LENGTH* NIL) (*PRINT-LEVEL* NIL)
>                         (*PRINT-LINES* NIL) (*PRINT-MISER-WIDTH* NIL)
>                         (*PRINT-PRETTY* NIL) (*PRINT-RADIX* NIL)
>                         (*PRINT-READABLY* T) (*PRINT-RIGHT-MARGIN* NIL)
>                         (*READ-BASE* 10)
>                         (*READ-DEFAULT-FLOAT-FORMAT* 'SINGLE-FLOAT)
>                         (*READ-EVAL* T) (*READ-SUPPRESS* NIL)
>                         (*READTABLE*
>                             (COPY-READTABLE
>                                 (SYSTEM:STANDARD-READTABLE)))) declared 
> ((SYMBOL
>                                                                           
> *READ-DEFAULT-FLOAT-FORMAT*))
> 
> ;; Note: var LEN is type FIXNUM from deduced function return type, declaring
> 
> ;; Note: Let bindings ((LEN (LENGTH LIST))) declared ((FIXNUM LEN))
> ; (DEFUN SAFE-ELT ...) is being compiled.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> ;; Warning: The variable CONDITIONS::TEMP is not used.
> Error in COND [or a callee]: Caught fatal error [memory may be damaged]
> 
> Fast links are on: do (use-fast-links nil) for debugging
> Broken at COMPILER::T1EXPR.  Type :H for Help.
>  1 (Continue) Retry loading file "gclload1.lsp".
>  2 Return to top level.
> dbl:CL-TEST>>
> :bt
> 
> #0   T1EXPR {} [ihs=32]
> #1   COMPILE-FILE1 {} [ihs=19]
> #2   APPLY 
> {loc0=compiler::compile-file1,loc1=(#P"ansi-aux.lsp"),loc2=#P"ansi-aux.lsp"} 
> [ihs=18]
> #3   APPLY {loc0=compiler::compile-file1,loc1=(#P"ansi-aux.lsp")} [ihs=17]
> #4   COMPILE-FILE {} [ihs=12]
> #5   COMPILE-AND-LOAD {} [ihs=8]
> #6   CLCS-LOAD {loc0=nil,loc1=nil,loc2=nil,loc3=(lisp:lambda-block 
> compile-and-load (common-lis...} [ihs=7]
> #7   EVAL {loc0=nil,loc1=nil,loc2=nil,loc3=#<compiled-function 
> conditions::clcs-load>,loc4...} [ihs=6]
> #8   TOP-LEVEL {} [ihs=5]
> #9   FUNCALL {loc0=#<compiled-function system:top-level>,loc1=t,loc2="GCL 
> (GNU Common Lisp)  ...} [ihs=4]
> NIL
> dbl:CL-TEST>>(dribble)_______________________________________________
> Gcl-devel mailing list
> address@hidden
> http://lists.gnu.org/mailman/listinfo/gcl-devel

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