Re: [Sbcl-help] [Sbcl-devel] apparent incorrect inference

[Christophe R. <cs...@ca...>]

Jud Leonard <Jud...@si...> writes:

> What gives?

> (defun hs-set1 (str ind val)
>   (multiple-value-bind (quo rem) (floor ind (floor (integer-length most-positive-fixnum) 3))
>     (cond ((< -1 val 7) (setf (aref str quo)
> 			      (dpb val (byte 3 (* 3 rem))
> 				   (aref str quo))))

If this test has executed without error, then VAL must be a number of
type REAL, because < signals an error if asked to compare non-real
numbers

> 	  ((null val) (setf (aref str quo)
> 			    (dpb 7 (byte 3 (* 3 rem))
> 				 (aref str quo))))

So (NULL VAL) at this point can never be true, and so the consequent
for this conditional can be deleted.

Best,

Christophe