diff options
Diffstat (limited to 'stdlib/source/test/lux/abstract/enum.lux')
-rw-r--r-- | stdlib/source/test/lux/abstract/enum.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/abstract/enum.lux b/stdlib/source/test/lux/abstract/enum.lux index d33a9aee8..9848653ba 100644 --- a/stdlib/source/test/lux/abstract/enum.lux +++ b/stdlib/source/test/lux/abstract/enum.lux @@ -20,7 +20,7 @@ (def: .public test Test (let [limit (is (Random Nat) - (# random.monad each (n.% 20) random.nat))] + (at random.monad each (n.% 20) random.nat))] (do random.monad [start limit end limit @@ -34,14 +34,14 @@ (let [expected_size (|> end (n.- start) ++) expected_start? (|> range list.head (maybe#each (n.= start)) (maybe.else false)) expected_end? (|> range list.last (maybe#each (n.= end)) (maybe.else false)) - can_be_backwards? (# (list.equivalence n.equivalence) = - (/.range n.enum start end) - (list.reversed (/.range n.enum end start))) + can_be_backwards? (at (list.equivalence n.equivalence) = + (/.range n.enum start end) + (list.reversed (/.range n.enum end start))) every_element_is_a_successor? (case range {.#Item head tail} (|> (list#mix (function (_ next [verdict prev]) [(and verdict - (n.= next (# n.enum succ prev))) + (n.= next (at n.enum succ prev))) next]) [true head] tail) |