The value NIL is not of type SB-ASSEM:LABEL when binding SB-C::TARGET-LABEL
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
(lambda (a b)
(declare (type (integer 486 499) a))
(case a
((-3 -1 4 3)
(case b
((-4) b)
((-1) a)
((6 14) 0)
(t b)))
(t a)))
==>
The value
NIL
is not of type
SB-ASSEM:LABEL
when binding SB-C::TARGET-LABEL
[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=3890 "repl-thread" RUNNING {1000F08003}>)
Backtrace:
0: ((LAMBDA (SB-C::X) :IN SB-C::IR2-
1: ((FLET SB-IMPL::F :IN SB-IMPL:
2: (SB-KERNEL:
3: (SB-KERNEL:%MAP NIL #<FUNCTION (FLET SB-IMPL::F :IN SB-IMPL:
4: (SB-IMPL:
5: (SB-C::
6: (SB-C::IR2-OPTIMIZE #<SB-C:COMPONENT :NAME "<unknown>" {100B19C1C3}> SB-C::REGALLOC)
7: (SB-C::
8: (SB-C::
9: (SB-C::%COMPILE (LAMBDA (A B) (DECLARE (TYPE # A)) (CASE A (# #) (T A))) NIL NIL)
[...]
x86-64, "2.4.2.
Changed in sbcl: | |
status: | New → Fix Released |