diff options
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.lux | 30 |
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)) |