Failure in decode-half-float in recent Quicklisp report
metayan opened this issue · comments
metayan commented
Causes many packages that depend on cepl
to fail.
From the Quicklisp report:
; file: [...] cepl-release-quicklisp-224f3fc1-git/core/types/cepl-types.lisp
; in: DEFN DECODE-HALF-FLOAT
; (FLOAT-FEATURES:BITS-SINGLE-FLOAT -4194304)
; --> BLOCK SB-KERNEL:MAKE-SINGLE-FLOAT SB-C::MASK-SIGNED-FIELD
; ==>
; (THE (UNSIGNED-BYTE 32) FLOAT-FEATURES::BITS)
;
; caught WARNING:
; Derived type of FLOAT-FEATURES::BITS is (VALUES (INTEGER -4194304 -4194304) &OPTIONAL),
; conflicting with its asserted type (UNSIGNED-BYTE 32).
Solution might be to replace -4194304 here with #xFFC00000, which is (+ (expt 2 32) -4194304)
.