## sbcl-devel

 [Sbcl-devel] Problem with type intersection with infinities From: Paul Khuong - 2007-09-21 00:29:59 The following dies, with (< NIL NIL): (typep 2 '(and (not (eql #.sb-ext:double-float-positive-infinity)) (not (eql #.sb-ext:double-float-negative-infinity)))) The rest of the backtrace: 0: (SB-KERNEL:TWO-ARG-< NIL NIL) 1: (SB-KERNEL::NUMBER-SIMPLE-INTERSECTION2-TYPE-METHOD # #) 2: (SB-KERNEL::%TYPE-INTERSECTION2 # #) 3: (SB-KERNEL:TYPE-INTERSECTION2 # #) 4: (SB-KERNEL::SIMPLIFY-INTERSECTIONS (# #)) 5: (SB-KERNEL::%TYPE-INTERSECTION (# #)) 6: (SB-KERNEL::UNION-COMPLEX-SUBTYPEP-ARG2 # #) 7: (SB-INT:EVERY/TYPE # # (# # #)) 8: (SB-KERNEL::UNION-SIMPLE-INTERSECTION2-TYPE-METHOD # #) 9: (SB-KERNEL::%TYPE-INTERSECTION2 # #) 10: (SB-KERNEL:TYPE-INTERSECTION2 # #) 11: (SB-KERNEL::SIMPLIFY-INTERSECTIONS (# #)) 12: (SB-KERNEL::%TYPE-INTERSECTION (# #)) 13: (SB-KERNEL:VALUES-SPECIFIER-TYPE (AND (NOT (EQL #.SB-EXT:DOUBLE-FLOAT-POSITIVE-INFINITY)) (NOT (EQL #.SB-EXT:DOUBLE-FLOAT-NEGATIVE-INFINITY)))) 14: (SB-KERNEL:SPECIFIER-TYPE (AND (NOT (EQL #.SB-EXT:DOUBLE-FLOAT-POSITIVE-INFINITY)) (NOT (EQL #.SB-EXT:DOUBLE-FLOAT-NEGATIVE-INFINITY)))) Paul Khuong