Opened 3 years ago

#1401 new defect

bug in type derivation with ash

Reported by: rme Owned by:
Priority: normal Milestone:
Component: other Version: trunk
Keywords: Cc:

Description

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

This is reported to work as expected in 1.10.

See https://lists.clozure.com/pipermail/openmcl-devel/2017-January/011453.html

Change History (0)

Note: See TracTickets for help on using tickets.