cbaggers / cepl

Code Evaluate Play Loop

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Failure in decode-half-float in recent Quicklisp report

metayan opened this issue · comments

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).