diff options
Diffstat (limited to 'new-luxc/test/test/luxc/lang/analysis/procedure/common.lux')
-rw-r--r-- | new-luxc/test/test/luxc/lang/analysis/procedure/common.lux | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/new-luxc/test/test/luxc/lang/analysis/procedure/common.lux b/new-luxc/test/test/luxc/lang/analysis/procedure/common.lux index 8d2494db7..664e04581 100644 --- a/new-luxc/test/test/luxc/lang/analysis/procedure/common.lux +++ b/new-luxc/test/test/luxc/lang/analysis/procedure/common.lux @@ -108,7 +108,7 @@ (test "Can convert natural number to integer." (check-success+ "lux nat to-int" (list subjectC) Int)) (test "Can convert natural number to text." - (check-success+ "lux nat to-text" (list subjectC) Text)) + (check-success+ "lux nat char" (list subjectC) Text)) )))) (context: "Int procedures" @@ -264,8 +264,8 @@ (&scope.with-local [var-name arrayT] (&.with-type elemT (@.analyse-procedure analyse evalL.eval "lux array get" - (list idxC - (code.symbol ["" var-name])))))) + (list (code.symbol ["" var-name]) + idxC))))) (macro.run (init-compiler [])) (case> (#e.Success _) true @@ -277,9 +277,9 @@ (&scope.with-local [var-name arrayT] (&.with-type arrayT (@.analyse-procedure analyse evalL.eval "lux array put" - (list idxC - elemC - (code.symbol ["" var-name])))))) + (list (code.symbol ["" var-name]) + idxC + elemC))))) (macro.run (init-compiler [])) (case> (#e.Success _) true @@ -291,8 +291,8 @@ (&scope.with-local [var-name arrayT] (&.with-type arrayT (@.analyse-procedure analyse evalL.eval "lux array remove" - (list idxC - (code.symbol ["" var-name])))))) + (list (code.symbol ["" var-name]) + idxC))))) (macro.run (init-compiler [])) (case> (#e.Success _) true @@ -376,9 +376,9 @@ (&scope.with-local [var-name atomT] (&.with-type Bool (@.analyse-procedure analyse evalL.eval "lux atom compare-and-swap" - (list elemC + (list (code.symbol ["" var-name]) elemC - (code.symbol ["" var-name])))))) + elemC))))) (macro.run (init-compiler [])) (case> (#e.Success _) true @@ -410,13 +410,13 @@ (<| (times +100) (do @ [logC (|> (r.text +5) (:: @ map code.text)) - exitC (|> r.nat (:: @ map code.nat))] + exitC (|> r.int (:: @ map code.int))] ($_ seq (test "Can log messages to standard output." (check-success+ "lux io log" (list logC) Unit)) - (test "Can log messages to standard output." + (test "Can throw a run-time error." (check-success+ "lux io error" (list logC) Bottom)) - (test "Can log messages to standard output." + (test "Can exit the program." (check-success+ "lux io exit" (list exitC) Bottom)) (test "Can query the current time (as milliseconds since epoch)." (check-success+ "lux io current-time" (list) Int)) |