The value NIL is not of type SB-C::LVAR (in IR1-OPTIMIZE-IF)
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
(defun bug013 (x y z)
(when y
(let* ((v (f1 x))
(s (f2 v y z))
(r (f3 v y z)))
(let ((c
(when (f4 v (f6 y) z) y))
(left
(when r (f5 x (f8 y) z)))
(right
(when (and r (not s))
(f5 x (f7 y) z))))
(cond
(right
(if c
(cons c right)
==>
The value
NIL
is not of type
SB-C::LVAR
[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 "new-repl-thread" RUNNING {101C03D783}>)
Backtrace:
0: ((FLET "LAMBDA0" :IN "SYS:SRC;
1: (SB-C::
2: ((FLET SB-C::DO-1-USE :IN SB-C::TENSION-
3: (SB-C::
4: (SB-C::IR1-OPTIMIZE #<SB-C:COMPONENT :NAME BUG013 {101C204DA3}> NIL)
5: (SB-C::
6: (SB-C::
7: (SB-C::IR1-PHASES #<SB-C:COMPONENT :NAME BUG013 {101C204DA3}>)
8: (SB-C::
9: (SB-C::%COMPILE (SB-INT:
Changed in sbcl: | |
status: | New → Fix Committed |
Changed in sbcl: | |
status: | Fix Committed → Fix Released |