[Openmcl-devel] Bug in type derivation with ASH

[Eric Marsden]

Hello,

Found using random testing.



? (lisp-implementation-version)
"Version 1.12-dev-r16808M  (LinuxX8664)"
? (defun foo (a b)
    (declare (type (eql 271) a) (type (eql -66) b))
    (ash a b))
FOO
? (foo 271 -66)
67     ;; <-- expecting 0


-- 
Eric Marsden
https://risk-engineering.org/