[Openmcl-devel] Bug in type derivation with ASH

R. Matthew Emerson rme at acm.org
Wed Jan 11 11:26:04 PST 2017


> 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

Filed as http://trac.clozure.com/ccl/ticket/1401

Thanks.




More information about the Openmcl-devel mailing list