diff options
author | Eduardo Julian | 2021-08-07 02:20:09 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-08-07 02:20:09 -0400 |
commit | 17e7566be51df5e428a6b10e6469201a8a9468da (patch) | |
tree | 0d4ed80c9c9d846784b5bf460f6e6f5fc5b96663 /stdlib/source/test/lux.lux | |
parent | eff4c59794868b89d60fdc411f9b544a270b817e (diff) |
Made the be/de macros for (co)monadic expression extensible.
Diffstat (limited to '')
-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 |