[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Type propagation (was Re: [Gcl-devel] New random tester failures)
From: |
Paul F. Dietz |
Subject: |
Re: Type propagation (was Re: [Gcl-devel] New random tester failures) |
Date: |
Tue, 14 Dec 2004 05:42:21 -0600 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.2) Gecko/20040803 |
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)
- Re: [Gcl-devel] New random tester failures, Camm Maguire, 2004/12/07
- Re: [Gcl-devel] New random tester failures, Paul F. Dietz, 2004/12/07
- Re: [Gcl-devel] New random tester failures, Camm Maguire, 2004/12/10
- Re: [Gcl-devel] New random tester failures, Camm Maguire, 2004/12/10
- Re: [Gcl-devel] New random tester failures, Paul F. Dietz, 2004/12/10
- Re: [Gcl-devel] New random tester failures, Paul F. Dietz, 2004/12/11
- Type propagation (was Re: [Gcl-devel] New random tester failures), Paul F. Dietz, 2004/12/11
- Re: Type propagation (was Re: [Gcl-devel] New random tester failures), Camm Maguire, 2004/12/16
- Re: Type propagation (was Re: [Gcl-devel] New random tester failures),
Paul F. Dietz <=
- Re: Type propagation (was Re: [Gcl-devel] New random tester failures), Camm Maguire, 2004/12/16
- Re: Type propagation (was Re: [Gcl-devel] New random tester failures), Paul F. Dietz, 2004/12/15