interval-maps: bit of unsafe.
parent
5004c49ca2
commit
bd115175b6
|
|
@ -52,7 +52,7 @@ PRIVATE>
|
||||||
check-interval-map array>> [ value ] map ;
|
check-interval-map array>> [ value ] map ;
|
||||||
|
|
||||||
: <interval-map> ( specification -- map )
|
: <interval-map> ( specification -- map )
|
||||||
all-intervals [ first second ] sort-with
|
all-intervals [ first-unsafe second-unsafe ] sort-with
|
||||||
>intervals ensure-disjoint interval-map boa ;
|
>intervals ensure-disjoint interval-map boa ;
|
||||||
|
|
||||||
: <interval-set> ( specification -- map )
|
: <interval-set> ( specification -- map )
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue