[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