Ticket #1027 (closed defect: fixed)

Opened 6 months ago

Last modified 6 months ago

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

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>.

Change History

Changed 6 months ago by gb

  • description modified (diff)

Changed 6 months ago by gb

  • status changed from new to closed
  • resolution set to fixed

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

Fixes ticket:1027 in the trunk.

Changed 6 months 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.

bob

Note: See TracTickets for help on using tickets.