failed AVER: (NOT (REST SB-C::MEMBERS))

Bug #1779878 reported by Paul F. Dietz on 2018-07-03
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
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::CONVERT-MEMBER-TYPE #<SB-KERNEL:MEMBER-TYPE (MEMBER #C(0 -1) #C(0.5d0 4.0d0))>)
  1: ((LABELS SB-C::DERIVER :IN SB-C::TWO-ARG-DERIVE-TYPE) #<SB-KERNEL:NUMERIC-TYPE (INTEGER 1 1)> #<SB-KERNEL:MEMBER-TYPE (MEMBER #C(0 -1) #C(0.5d0 4.0d0))> NIL)
  2: ((LABELS SB-C::DERIVER :IN SB-C::TWO-ARG-DERIVE-TYPE) #<SB-KERNEL:NUMERIC-TYPE (INTEGER 1 1)> #<SB-KERNEL:INTERSECTION-TYPE (AND (MEMBER #C(0 -1) #C(0.5d0 4.0d0)) (SATISFIES EVAL))> NIL)
  3: (SB-C::TWO-ARG-DERIVE-TYPE #<SB-C::LVAR 1 {10038EF1F3}> #<SB-C::LVAR 2 {10038EF373}> #<FUNCTION SB-C::/-DERIVE-TYPE-AUX> #<FUNCTION />)
[...]

(on x86-64 Linux)

Stas Boukarev (stassats) wrote :

52a00ae66618625f96975909712e5a26e380c23d

Changed in sbcl:
status: New → Fix Committed
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers