id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
1027,ARM ccl typechecking bug,brown,,"{{{
Welcome to Clozure Common Lisp Version 1.9-dev-r15475M-trunk  (LinuxARM32)!

SIP-HASH> (defun barbar (x) (declare (type (unsigned-byte 64) x)) (+ x 1))
BARBAR
SIP-HASH> (typep 1084818905618843912 '(unsigned-byte 64))
T
SIP-HASH> (barbar 1084818905618843912)
; Evaluation aborted on #<TYPE-ERROR #x54D5B08E>.
}}}
",defect,closed,normal,,ANSI CL Compliance,unspecific,fixed,,