failed AVER: (NOT (REST SB-C::MEMBERS))
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
(defun f140 (p1)
(declare (type (member #c(0.5d0 4.0d0) #c(0 -1)) p1))
(/ (the (satisfies eval) p1)))
==>
failed AVER: (NOT (REST SB-C::MEMBERS))
[...]
0: (SB-C::
1: ((LABELS SB-C::DERIVER :IN SB-C::TWO-
2: ((LABELS SB-C::DERIVER :IN SB-C::TWO-
3: (SB-C::
[...]
(on x86-64 Linux)
Changed in sbcl: | |
status: | Fix Committed → Fix Released |
52a00ae66618625 f96975909712e5a 26e380c23d