diff options
author | Eduardo Julian | 2021-09-05 22:52:26 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-05 22:52:26 -0400 |
commit | 132ffdae1add622c8a3c6065d7730a8fe8ea5e78 (patch) | |
tree | 540310f190007d192b892db2d0a520d17b73ad48 /stdlib/source/test/lux.lux | |
parent | 09e2747bf8c6dcdc1d7318f2490f0de37d77b39f (diff) |
Changed the syntax of do/be's (co)monad bindings.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 25e19caa8..9e353a1c3 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -478,7 +478,7 @@ (def: for_type Test - (do {! random.monad} + (do [! random.monad] [expected random.nat expected_left random.nat @@ -631,7 +631,7 @@ (_.cover [/.template:] (n.= (n.+ left right) (!n/+ left right)))) - (do {! random.monad} + (do [! random.monad] [sample (\ ! each (n.% 5) random.nat)] (_.cover [/.^template] (case sample @@ -912,7 +912,7 @@ (def: for_case Test - (do {! random.monad} + (do [! random.monad] [expected_nat (\ ! each (n.% 1) random.nat) expected_int (\ ! each (i.% +1) random.int) expected_rev (random.either (in .5) |