Opened 11 years ago

Closed 11 years ago

#736 closed defect (fixed)

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 (1)

comment:1 Changed 11 years ago by rme

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