Ticket #736 (closed defect: fixed)

Opened 7 years ago

Last modified 6 years ago

inappropriate type error during compilation

Reported by: emarsden Owned by:
Priority: normal Milestone:
Component: Compiler Version: trunk
Keywords: Cc:


? (lisp-implementation-version)
"Version 1.6-dev-r14231M  (LinuxX8632)"
? (defun foo (a b)
  (declare (type (integer -314476952 -84061465) a))
  (declare (type (integer 16008 1204497162) b))
  (logand b (the integer a)))
? (foo -299404531 1081111751)
> Error: value -299404531 is not of the expected type (UNSIGNED-BYTE 32).
> While executing: FOO, in process listener(1).

Change History

comment:1 Changed 6 years ago by rme

  • Status changed from new to closed
  • Resolution set to fixed
Note: See TracTickets for help on using tickets.