diff options
Diffstat (limited to 'stdlib/source/test/lux.lux')
| -rw-r--r-- | stdlib/source/test/lux.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index ca533e853..9d5f719ed 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -232,7 +232,7 @@ Test (do random.monad [expected random.nat - #let [local_returner (: (Returner Nat) + .let [local_returner (: (Returner Nat) (/.implementation (def: (return _) expected)))]] @@ -269,7 +269,7 @@ (do random.monad [start random.nat factor random.nat - #let [expected (n.* factor (inc start))]] + .let [expected (n.* factor (inc start))]] ($_ _.and (_.cover [/.|>] (n.= expected @@ -463,7 +463,7 @@ expected_left random.nat expected_right random.nat - #let [existential_type (\ ! map (|>> #.Ex) random.nat)] + .let [existential_type (\ ! map (|>> #.Ex) random.nat)] expected/0 existential_type expected/1 existential_type] (<| (_.for [/.Type]) @@ -648,7 +648,7 @@ shift/s random.nat shift/b random.nat text (random.ascii/lower 1) - #let [expected/s (n.+ shift/s start/s) + .let [expected/s (n.+ shift/s start/s) expected/b (n.+ shift/b start/b) sample {#big_left start/b @@ -730,7 +730,7 @@ [left (random.ascii/lower 1) mid (random.ascii/lower 1) right (random.ascii/lower 1) - #let [expected (text.join_with "" (list left mid right))]] + .let [expected (text.join_with "" (list left mid right))]] (_.cover [/.$_ /._$] (with_expansions [<left_association> (/._$ format left @@ -751,7 +751,7 @@ [left random.nat right random.nat dummy random.nat - #let [expected (n.+ left right)]] + .let [expected (n.+ left right)]] ($_ _.and (_.cover [/.as_is] (`` (and (~~ (as_is true @@ -985,7 +985,7 @@ (do random.monad [factor (random\map (|>> (n.% 10) (n.max 1)) random.nat) iterations (random\map (n.% 10) random.nat) - #let [expected (n.* factor iterations)]] + .let [expected (n.* factor iterations)]] (_.cover [/.loop] (n.= expected (/.loop [counter 0 @@ -996,7 +996,7 @@ (do random.monad [pre random.nat post (random.only (|>> (n.= pre) not) random.nat) - #let [box (atom.atom pre)]] + .let [box (atom.atom pre)]] (_.cover [/.exec] (and (is? pre (io.run (atom.read box))) (/.exec |