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		
