aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux')
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux30
1 files changed, 15 insertions, 15 deletions
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
index 47abe0165..f209a235b 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
@@ -73,9 +73,9 @@
(def: i64
Test
(do {! r.monad}
- [subjectC (|> r.nat (\ ! map code.nat))
- signedC (|> r.int (\ ! map code.int))
- paramC (|> r.nat (\ ! map code.nat))]
+ [subjectC (|> r.nat (\ ! each code.nat))
+ signedC (|> r.int (\ ! each code.int))
+ paramC (|> r.nat (\ ! each code.nat))]
($_ _.and
(_.test "i64 'and'."
(check_success+ "lux i64 and" (list paramC subjectC) Nat))
@@ -100,8 +100,8 @@
(def: int
Test
(do {! r.monad}
- [subjectC (|> r.int (\ ! map code.int))
- paramC (|> r.int (\ ! map code.int))]
+ [subjectC (|> r.int (\ ! each code.int))
+ paramC (|> r.int (\ ! each code.int))]
($_ _.and
(_.test "Can multiply integers."
(check_success+ "lux i64 *" (list paramC subjectC) Int))
@@ -120,9 +120,9 @@
(def: frac
Test
(do {! r.monad}
- [subjectC (|> r.safe_frac (\ ! map code.frac))
- paramC (|> r.safe_frac (\ ! map code.frac))
- encodedC (|> r.safe_frac (\ ! map (|>> %.frac code.text)))]
+ [subjectC (|> r.safe_frac (\ ! each code.frac))
+ paramC (|> r.safe_frac (\ ! each code.frac))
+ encodedC (|> r.safe_frac (\ ! each (|>> %.frac code.text)))]
($_ _.and
(_.test "Can add frac numbers."
(check_success+ "lux f64 +" (list paramC subjectC) Frac))
@@ -155,11 +155,11 @@
(def: text
Test
(do {! r.monad}
- [subjectC (|> (r.unicode 5) (\ ! map code.text))
- paramC (|> (r.unicode 5) (\ ! map code.text))
- replacementC (|> (r.unicode 5) (\ ! map code.text))
- fromC (|> r.nat (\ ! map code.nat))
- toC (|> r.nat (\ ! map code.nat))]
+ [subjectC (|> (r.unicode 5) (\ ! each code.text))
+ paramC (|> (r.unicode 5) (\ ! each code.text))
+ replacementC (|> (r.unicode 5) (\ ! each code.text))
+ fromC (|> r.nat (\ ! each code.nat))
+ toC (|> r.nat (\ ! each code.nat))]
($_ _.and
(_.test "Can test text equivalence."
(check_success+ "lux text =" (list paramC subjectC) Bit))
@@ -180,8 +180,8 @@
(def: io
Test
(do {! r.monad}
- [logC (|> (r.unicode 5) (\ ! map code.text))
- exitC (|> r.int (\ ! map code.int))]
+ [logC (|> (r.unicode 5) (\ ! each code.text))
+ exitC (|> r.int (\ ! each code.int))]
($_ _.and
(_.test "Can log messages to standard output."
(check_success+ "lux io log" (list logC) Any))