diff options
Diffstat (limited to 'stdlib/source/test/lux/control/function/mutual.lux')
-rw-r--r-- | stdlib/source/test/lux/control/function/mutual.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/test/lux/control/function/mutual.lux b/stdlib/source/test/lux/control/function/mutual.lux index 6fe925cd2..d7fb8364e 100644 --- a/stdlib/source/test/lux/control/function/mutual.lux +++ b/stdlib/source/test/lux/control/function/mutual.lux @@ -5,7 +5,7 @@ [abstract [monad {"+" [do]}]] [data - ["[0]" bit ("[1]\[0]" equivalence)] + ["[0]" bit ("[1]#[0]" equivalence)] [text ["%" format {"+" [format]}]]] [math @@ -18,7 +18,7 @@ (def: test_let Test (do [! random.monad] - [sample (\ ! each (n.% 10) random.nat) + [sample (# ! each (n.% 10) random.nat) .let [expected (n.even? sample)]] (<| (_.cover [/.let]) (/.let [(even? number) @@ -32,8 +32,8 @@ (case number 0 false _ (even? (-- number)))] - (and (bit\= expected (even? sample)) - (bit\= (not expected) (odd? sample))))))) + (and (bit#= expected (even? sample)) + (bit#= (not expected) (odd? sample))))))) (/.def: [(even? number) @@ -51,11 +51,11 @@ (def: test_def Test (do [! random.monad] - [sample (\ ! each (n.% 10) random.nat) + [sample (# ! each (n.% 10) random.nat) .let [expected (n.even? sample)]] (<| (_.cover [/.def:]) - (and (bit\= expected (..even? sample)) - (bit\= (not expected) (..odd? sample)))))) + (and (bit#= expected (..even? sample)) + (bit#= (not expected) (..odd? sample)))))) (def: .public test Test |