From: Clemens H. <Hei...@ma...> - 2005-02-14 18:05:13
|
Hey: I built sbcl from cvs recently (SBCL 0.8.19.19) on Mac OS X and I get this error when I run the tests. ===== //running float.pure.lisp test ; in: LAMBDA NIL ; (FLOAT-RADIX "notfloat") ; ; note: deleting unreachable code ; ; caught WARNING: ; Asserted type FLOAT conflicts with derived type ; (VALUES (SIMPLE-ARRAY CHARACTER (8)) &OPTIONAL). ; See also: ; The SBCL Manual, Node "Handling of Types" ; compilation unit finished ; caught 1 WARNING condition ; printed 1 note ; in: LAMBDA NIL ; (TAGBODY ; (SB-KERNEL:ASSERT-ERROR ; '(= (FROUND LEAST-POSITIVE-SHORT-FLOAT LEAST-POSITIVE-SHORT-FLOAT) 1.0) ; 'NIL ; NIL)) ; ; note: deleting unreachable code ; compilation unit finished ; printed 1 note ; in: LAMBDA NIL ; (TAGBODY ; (SB-KERNEL:ASSERT-ERROR ; '(= ; (MULTIPLE-VALUE-BIND ; (SIGNIFICAND EXPT SIGN) ; (INTEGER-DECODE-FLOAT LEAST-POSITIVE-DOUBLE-FLOAT) ; (* # SIGN)) ; LEAST-POSITIVE-DOUBLE-FLOAT) ; 'NIL ; NIL)) ; ; note: deleting unreachable code ; compilation unit finished ; printed 1 note ; in: LAMBDA NIL ; (TAGBODY ; (SB-KERNEL:ASSERT-ERROR ; '(= ; (MULTIPLE-VALUE-BIND ; (SIGNIFICAND EXPT SIGN) ; (DECODE-FLOAT LEAST-POSITIVE-DOUBLE-FLOAT) ; (* # SIGN)) ; LEAST-POSITIVE-DOUBLE-FLOAT) ; 'NIL ; NIL)) ; ; note: deleting unreachable code ; compilation unit finished ; printed 1 note ; in: LAMBDA NIL ; (GO #:G4558) ; ; note: deleting unreachable code ; (TAGBODY ; (SB-KERNEL:ASSERT-ERROR '(= 0.0 (SCALE-FLOAT 1.0 MOST-NEGATIVE-FIXNUM)) ; 'NIL ; NIL)) ; ; note: deleting unreachable code ; compilation unit finished ; printed 2 notes ; in: LAMBDA NIL ; (GO #:G4561) ; ; note: deleting unreachable code ; (TAGBODY ; (SB-KERNEL:ASSERT-ERROR ; '(= 0.0d0 (SCALE-FLOAT 1.0d0 (1- MOST-NEGATIVE-FIXNUM))) ; 'NIL ; NIL)) ; ; note: deleting unreachable code ; compilation unit finished ; printed 2 notes debugger invoked on a SIMPLE-ERROR in thread 21496: The assertion (RAISES-ERROR? (SCALE-FLOAT 1.0 MOST-POSITIVE-FIXNUM) FLOATING-POINT-OVERFLOW) failed. You can type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL. restarts (invokable by number or by possibly-abbreviated name): 0: [CONTINUE] Retry assertion. 1: [ABORT ] Reduce debugger level (leaving debugger, returning to toplevel). 2: [TOPLEVEL] Restart at toplevel READ/EVAL/PRINT loop. (SB-KERNEL:ASSERT-ERROR 3 (RAISES-ERROR? (SCALE-FLOAT 1.0 MOST-POSITIVE-FIXNUM) FLOATING-POINT-OVERFLOW) NIL NIL)[:EXTERNAL] 0] ===== |