[Openmcl-devel] Bug in type derivation with ASH

[Ron Garret]

On Jan 3, 2017, at 4:40 AM, Eric Marsden <eric.marsden at free.fr> wrote:

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

It’s a regression since v1.10:

Welcome to Clozure Common Lisp Version 1.10-r16479M  (DarwinX8664)!
? (defun foo (a b)
   (declare (type (eql 271) a) (type (eql -66) b))
   (ash a b))
FOO
? (foo 271 -66)
0