diff options
Diffstat (limited to 'new-luxc/test/test/luxc/analyser/procedure/common.lux')
-rw-r--r-- | new-luxc/test/test/luxc/analyser/procedure/common.lux | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/new-luxc/test/test/luxc/analyser/procedure/common.lux b/new-luxc/test/test/luxc/analyser/procedure/common.lux index dc4459734..9ebcf6880 100644 --- a/new-luxc/test/test/luxc/analyser/procedure/common.lux +++ b/new-luxc/test/test/luxc/analyser/procedure/common.lux @@ -20,14 +20,15 @@ [analyser] (analyser ["@" procedure] ["@;" common])) - (../.. common)) + (../.. common) + (test/luxc common)) (do-template [<name> <success> <failure>] [(def: (<name> procedure params output-type) (-> Text (List Code) Type Bool) (|> (&;with-expected-type output-type (@;analyse-procedure analyse procedure params)) - (macro;run init-compiler) + (macro;run (init-compiler [])) (case> (#R;Success _) <success> @@ -247,7 +248,7 @@ (@;analyse-procedure analyse "array get" (list idxC (code;symbol ["" var-name])))))) - (macro;run init-compiler) + (macro;run (init-compiler [])) (case> (#R;Success _) true @@ -261,7 +262,7 @@ (list idxC elemC (code;symbol ["" var-name])))))) - (macro;run init-compiler) + (macro;run (init-compiler [])) (case> (#R;Success _) true @@ -274,7 +275,7 @@ (@;analyse-procedure analyse "array remove" (list idxC (code;symbol ["" var-name])))))) - (macro;run init-compiler) + (macro;run (init-compiler [])) (case> (#R;Success _) true @@ -286,7 +287,7 @@ (&;with-expected-type Nat (@;analyse-procedure analyse "array size" (list (code;symbol ["" var-name])))))) - (macro;run init-compiler) + (macro;run (init-compiler [])) (case> (#R;Success _) true @@ -342,7 +343,7 @@ (&;with-expected-type elemT (@;analyse-procedure analyse "atom read" (list (code;symbol ["" var-name])))))) - (macro;run init-compiler) + (macro;run (init-compiler [])) (case> (#R;Success _) true @@ -356,7 +357,7 @@ (list elemC elemC (code;symbol ["" var-name])))))) - (macro;run init-compiler) + (macro;run (init-compiler [])) (case> (#R;Success _) true |