diff options
Diffstat (limited to 'stdlib/source/test/lux/control/function.lux')
| -rw-r--r-- | stdlib/source/test/lux/control/function.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/control/function.lux b/stdlib/source/test/lux/control/function.lux index d122bbd39..4a95a0065 100644 --- a/stdlib/source/test/lux/control/function.lux +++ b/stdlib/source/test/lux/control/function.lux @@ -24,8 +24,8 @@ Test (do [! random.monad] [expected random.nat - f0 (# ! each n.+ random.nat) - f1 (# ! each n.* random.nat) + f0 (at ! each n.+ random.nat) + f1 (at ! each n.* random.nat) dummy random.nat extra (|> random.nat (random.only (|>> (n.= expected) not)))] (<| (_.covering /._) @@ -36,7 +36,7 @@ (n.= (left extra) (right extra))))) generator (is (Random (-> Nat Nat)) - (# ! each n.- random.nat))] + (at ! each n.- random.nat))] (_.for [/.monoid] ($monoid.spec equivalence /.monoid generator))) |