The value 23767973764779437449 is not of type (INTEGER -9223372036854775808 18446744073709551615) when binding #:|ARG-FOR-(BYTE 64 0)-1|
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
(lambda (b)
(declare (type (integer -2111518218392 5470033397614) b))
(let ((v9 b))
(logand (setq v9 (the (satisfies eval) 237679737647794
(min b v9))))
==>
The value
2376797376477
is not of type
(INTEGER -92233720368547
when binding #:|ARG-FOR-(BYTE 64 0)-1|
[Condition of type TYPE-ERROR]
Restarts:
0: [RETRY] Retry SLIME REPL evaluation request.
1: [*ABORT] Return to SLIME's top level.
2: [ABORT] abort thread (#<THREAD tid=14217 "repl-thread" RUNNING {1001138003}>)
Backtrace:
0: (SB-X86-
1: (SB-ASSEM:
2: (SB-ASSEM:
3: (SB-C::
4: (SB-C::
5: (SB-C::
6: (SB-C::%COMPILE (LAMBDA (B) (DECLARE (TYPE # B)) (LET (#) (LOGAND # #))) NIL NIL)
[...]
x86-64, "2.4.1.
Changed in sbcl: | |
status: | New → Fix Committed |
Changed in sbcl: | |
status: | Fix Committed → Fix Released |