The value NIL is not of type SB-KERNEL:CTYPE when binding TYPE (in IR1)
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
High
|
Unassigned |
Bug Description
The random tester isn't finished yet, it seems.
(defun foo ()
(tagbody
(complex
(dotimes (iv2 0 0)
(loop for lv4 below 1
count (oddp
0)
tag1)
0)
==>
The value
NIL
is not of type
SB-KERNEL:CTYPE
when binding TYPE
[Condition of type TYPE-ERROR]
Restarts:
0: [ABORT] Exit debugger, returning to top level.
Backtrace:
0: (SB-KERNEL:CTYPEP 0 NIL) [external]
1: ((SB-C:DEFTRANSFORM LOGTEST) #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME LOGTEST :TYPE #1=#<SB-
2: (SB-C::
3: (SB-C::
4: (SB-C::
5: (SB-C::IR1-OPTIMIZE #<SB-C:COMPONENT :NAME (FLET "CLEANUP-FUN-6" :IN FOO) {1005180873}> NIL)
6: (SB-C::
7: (SB-C::IR1-PHASES #<SB-C:COMPONENT :NAME (FLET "CLEANUP-FUN-6" :IN FOO) {1005180873}>)
Changed in sbcl: | |
assignee: | nobody → Stas Boukarev (stassats) |
Changed in sbcl: | |
assignee: | Stas Boukarev (stassats) → nobody |
Changed in sbcl: | |
status: | Fix Committed → Fix Released |
That test is actually defective (I broke it when I simplified it); there was supposed to be a 0 tag after tag1. It still fails like that though.