Ticket #1027 (closed defect: fixed)

Opened 22 months ago

Last modified 22 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

comment:1 Changed 22 months ago by gb

  • Description modified (diff)

comment:2 Changed 22 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.

comment:3 Changed 22 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.