@@ -94,10 +94,10 @@ Construct a ClosedInterval `iv` spanning the region from
9494± (x, y) = ClosedInterval (x - y, x + y)
9595± (x:: CartesianIndex , y:: CartesianIndex ) = ClosedInterval (x- y, x+ y)
9696
97- show (io:: IO , I:: ClosedInterval ) = print (io, leftendpoint (I), " .. " , rightendpoint (I))
98- show (io:: IO , I:: OpenInterval ) = print (io, leftendpoint (I), " .. " , rightendpoint (I), " (open)" )
99- show (io:: IO , I:: Interval{:open,:closed} ) = print (io, leftendpoint (I), " .. " , rightendpoint (I), " (open-closed)" )
100- show (io:: IO , I:: Interval{:closed,:open} ) = print (io, leftendpoint (I), " .. " , rightendpoint (I), " (closed-open)" )
97+ show (io:: IO , I:: ClosedInterval ) = print (io, leftendpoint (I), " .. " , rightendpoint (I))
98+ show (io:: IO , I:: OpenInterval ) = print (io, leftendpoint (I), " .. " , rightendpoint (I), " (open)" )
99+ show (io:: IO , I:: Interval{:open,:closed} ) = print (io, leftendpoint (I), " .. " , rightendpoint (I), " (open-closed)" )
100+ show (io:: IO , I:: Interval{:closed,:open} ) = print (io, leftendpoint (I), " .. " , rightendpoint (I), " (closed-open)" )
101101
102102# The following are not typestable for mixed endpoint types
103103_left_intersect_type (:: Type{Val{:open}} , :: Type{Val{L2}} , a1, a2) where L2 = a1 < a2 ? (a2,L2) : (a1,:open )
0 commit comments