[Sbcl-devel] [PATCH] compile-time type errors v.2

[Alexey D. <ade...@co...>]

Hello,

The patch just removes :ERROR continuation type check kind. In case of
type error a warning is emitted and a check is generated as usual (old
code did not generate any checks in this case). So this code now
signals an error:

(defun foo (x)
    (declare (integer x))
    (let (y)
      (setf y (the single-float (if (> x 0) x 3f0)))
      (list y y)))

(foo 4) => error
(foo -4) => (3f0 3f0)

-- 
Regards,
Alexey Dejneka