diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/abstract/interval.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/abstract/interval.lux b/stdlib/source/test/lux/abstract/interval.lux index 4d84cfcb7..74579b53a 100644 --- a/stdlib/source/test/lux/abstract/interval.lux +++ b/stdlib/source/test/lux/abstract/interval.lux @@ -18,7 +18,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / (.only Interval) ("#[0]" equivalence)]]) + ["[0]" / (.only Interval) (.open: "[1]#[0]" equivalence)]]) (template [<name> <cmp>] [(def: .public <name> @@ -94,7 +94,7 @@ right_outer ..outer] (all _.and (_.property "The union of an interval to itself yields the same interval." - (#= some_interval (/.union some_interval some_interval))) + (/#= some_interval (/.union some_interval some_interval))) (_.property "The union of 2 inner intervals is another inner interval." (/.inner? (/.union left_inner right_inner))) (_.property "The union of 2 outer intervals yields an inner interval when their complements don't overlap, and an outer when they do." @@ -115,7 +115,7 @@ right_outer ..outer] (all _.and (_.property "The intersection of an interval to itself yields the same interval." - (#= some_interval (/.intersection some_interval some_interval))) + (/#= some_interval (/.intersection some_interval some_interval))) (_.property "The intersection of 2 inner intervals yields an inner interval when they overlap, and an outer when they don't." (if (/.overlaps? left_inner right_inner) (/.inner? (/.intersection left_inner right_inner)) @@ -130,7 +130,7 @@ [some_interval ..interval] (all _.and (_.property "The complement of a complement is the same as the original." - (#= some_interval (|> some_interval /.complement /.complement))) + (/#= some_interval (|> some_interval /.complement /.complement))) (_.property "The complement of an interval does not overlap it." (not (/.overlaps? some_interval (/.complement some_interval)))) ))) |