[Sbcl-devel] unnatural policy of type checking

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

(declaim (ftype (function (t t) (values t t)) foo))

(defun foo (x y)
  (values x y))

(defun bar (x y)
  (declare (optimize (speed 0) (safety 3)))
  (multiple-value-bind (a b)
      (locally (declare (optimize (safety 0)))
        (the (values (integer 0 10) t)
          (locally (declare (optimize (safety 1)))
            (the (values t (integer 0 10))
              (foo x y)))))
    (list a b)))

Python emits type checks for (MOD 11) for both A and B. I think it
would be more natural to skip a check of A and to check B for being
INTEGER.

-- 
Regards,
Alexey Dejneka