diff options
| author | Eduardo Julian | 2021-08-18 03:29:15 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-18 03:29:15 -0400 |
| commit | e00ba096c8837abe85d366e0c1293c09dbe84d81 (patch) | |
| tree | dc1f0955d4461ae30bb4945cddd74c462f1aee98 /stdlib/source/test/lux/control/pipe.lux | |
| parent | 3289b9dcf9d5d1c1e5c380e3185065c8fd32535f (diff) | |
Some bug fixes.
Diffstat (limited to 'stdlib/source/test/lux/control/pipe.lux')
| -rw-r--r-- | stdlib/source/test/lux/control/pipe.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/test/lux/control/pipe.lux b/stdlib/source/test/lux/control/pipe.lux index 27e92a7e0..3ef82e309 100644 --- a/stdlib/source/test/lux/control/pipe.lux +++ b/stdlib/source/test/lux/control/pipe.lux @@ -25,11 +25,11 @@ (do ! [another random.nat] (_.cover [/.new>] - (n.= (inc another) + (n.= (++ another) (|> sample (n.* 3) (n.+ 4) - (/.new> another [inc]))))) + (/.new> another [++]))))) (_.cover [/.let>] (n.= (n.+ sample sample) (|> sample @@ -63,12 +63,12 @@ (/.loop> [(n.= (n.* 10 sample)) not] [(n.+ sample)])))) (_.cover [/.do>] - (n.= (inc (n.+ 4 (n.* 3 sample))) + (n.= (++ (n.+ 4 (n.* 3 sample))) (|> sample (/.do> identity.monad [(n.* 3)] [(n.+ 4)] - [inc])))) + [++])))) (_.cover [/.exec>] (n.= (n.* 10 sample) (|> sample @@ -76,11 +76,11 @@ (n.* 10)))) (_.cover [/.tuple>] (let [[left middle right] (|> sample - (/.tuple> [inc] - [dec] + (/.tuple> [++] + [--] [%.nat]))] - (and (n.= (inc sample) left) - (n.= (dec sample) middle) + (and (n.= (++ sample) left) + (n.= (-- sample) middle) (text\= (%.nat sample) right)))) (_.cover [/.case>] (text\= (case (n.% 10 sample) |