diff options
author | Eduardo Julian | 2022-06-04 19:34:42 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-04 19:34:42 -0400 |
commit | f9e33ae96aec4741385a576719786092c9e68043 (patch) | |
tree | 140057dfc054346eab721f9905f0f0fff22ad933 /stdlib/source/test/lux/control/function.lux | |
parent | 56d2835d35093e2d92c5e8a4371aa322b55e037b (diff) |
De-sigil-ification: #
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))) |