diff options
Diffstat (limited to '')
-rw-r--r-- | new-luxc/test/test/luxc/lang/analysis/function.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/new-luxc/test/test/luxc/lang/analysis/function.lux b/new-luxc/test/test/luxc/lang/analysis/function.lux index 62d5ad93c..968de53ef 100644 --- a/new-luxc/test/test/luxc/lang/analysis/function.lux +++ b/new-luxc/test/test/luxc/lang/analysis/function.lux @@ -55,7 +55,7 @@ (-> Type Nat (Meta la.Analysis) Bool) (|> analysis (&.with-type expectedT) - (macro.run (init-compiler [])) + (macro.run (io.run init-jvm)) (case> (#e.Success applyA) (let [[funcA argsA] (flatten-apply applyA)] (n/= num-args (list.size argsA))) @@ -75,25 +75,25 @@ (test "Can analyse function." (and (|> (&.with-type (All [a] (-> a outputT)) (@.analyse-function analyse func-name arg-name outputC)) - (macro.run (init-compiler [])) + (macro.run (io.run init-jvm)) succeeds?) (|> (&.with-type (All [a] (-> a a)) (@.analyse-function analyse func-name arg-name g!arg)) - (macro.run (init-compiler [])) + (macro.run (io.run init-jvm)) succeeds?))) (test "Generic functions can always be specialized." (and (|> (&.with-type (-> inputT outputT) (@.analyse-function analyse func-name arg-name outputC)) - (macro.run (init-compiler [])) + (macro.run (io.run init-jvm)) succeeds?) (|> (&.with-type (-> inputT inputT) (@.analyse-function analyse func-name arg-name g!arg)) - (macro.run (init-compiler [])) + (macro.run (io.run init-jvm)) succeeds?))) (test "The function's name is bound to the function's type." (|> (&.with-type (Rec self (-> inputT self)) (@.analyse-function analyse func-name arg-name (code.local-symbol func-name))) - (macro.run (init-compiler [])) + (macro.run (io.run init-jvm)) succeeds?)) )))) |