Opened 7 years ago

Closed 7 years ago

Last modified 7 years ago

#1027 closed defect (fixed)

ARM ccl typechecking bug

Reported by: brown Owned by:
Priority: normal Milestone:
Component: ANSI CL Compliance Version: unspecific
Keywords: Cc:

Description (last modified by gb)

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))
SIP-HASH> (typep 1084818905618843912 '(unsigned-byte 64))
SIP-HASH> (barbar 1084818905618843912)
; Evaluation aborted on #<TYPE-ERROR #x54D5B08E>.

Change History (3)

comment:1 Changed 7 years ago by gb

  • Description modified (diff)

comment:2 Changed 7 years ago by gb

  • Resolution set to fixed
  • Status changed from new to closed

(In [15492]) In REQUIRE-U64, extract the subtag into TEMP from the HEADER, not from SRC.

Fixes ticket:1027 in the trunk.

comment:3 Changed 7 years ago by brown

Thanks very much for fixing this bug. With your bug fix and another by me to the sip-hash source code, that package now compiles and passes all tests on ccl/arm.


Note: See TracTickets for help on using tickets.