diff options
Diffstat (limited to 'stdlib/source/test/lux/abstract/interval.lux')
| -rw-r--r-- | stdlib/source/test/lux/abstract/interval.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/test/lux/abstract/interval.lux b/stdlib/source/test/lux/abstract/interval.lux index 60eeba3df..40c78df27 100644 --- a/stdlib/source/test/lux/abstract/interval.lux +++ b/stdlib/source/test/lux/abstract/interval.lux @@ -68,7 +68,7 @@ (do random.monad [bottom random.nat top random.nat - #let [interval (/.between n.enum bottom top)]] + .let [interval (/.between n.enum bottom top)]] ($_ _.and (_.cover [/.between /.within?] (and (/.within? interval bottom) @@ -139,14 +139,14 @@ Test (do {! random.monad} [[l m r] (|> (random.set n.hash 3 random.nat) - (\ ! map (|>> set.to_list + (\ ! map (|>> set.list (list.sort n.<) (case> (^ (list b t1 t2)) [b t1 t2] _ (undefined))))) - #let [left (/.singleton n.enum l) + .let [left (/.singleton n.enum l) right (/.singleton n.enum r)]] ($_ _.and (_.cover [/.precedes? /.succeeds?] @@ -161,14 +161,14 @@ Test (do {! random.monad} [[b t1 t2] (|> (random.set n.hash 3 random.nat) - (\ ! map (|>> set.to_list + (\ ! map (|>> set.list (list.sort n.<) (case> (^ (list b t1 t2)) [b t1 t2] _ (undefined))))) - #let [int_left (/.between n.enum t1 t2) + .let [int_left (/.between n.enum t1 t2) int_right (/.between n.enum b t1)]] ($_ _.and (_.cover [/.meets?] @@ -188,7 +188,7 @@ (do {! random.monad} [some_interval ..interval [x0 x1 x2 x3] (|> (random.set n.hash 4 random.nat) - (\ ! map (|>> set.to_list + (\ ! map (|>> set.list (list.sort n.<) (case> (^ (list x0 x1 x2 x3)) [x0 x1 x2 x3] @@ -221,7 +221,7 @@ (do {! random.monad} [some_interval ..interval [x0 x1 x2 x3] (|> (random.set n.hash 4 random.nat) - (\ ! map (|>> set.to_list + (\ ! map (|>> set.list (list.sort n.<) (case> (^ (list x0 x1 x2 x3)) [x0 x1 x2 x3] |