diff options
Diffstat (limited to 'new-luxc/test/test/luxc/lang/analysis/structure.lux')
| -rw-r--r-- | new-luxc/test/test/luxc/lang/analysis/structure.lux | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/new-luxc/test/test/luxc/lang/analysis/structure.lux b/new-luxc/test/test/luxc/lang/analysis/structure.lux index 42177ebb4..cdef25448 100644 --- a/new-luxc/test/test/luxc/lang/analysis/structure.lux +++ b/new-luxc/test/test/luxc/lang/analysis/structure.lux @@ -47,7 +47,7 @@ (|> (&.with-scope (&.with-type variantT (@.analyse-sum analyse choice valueC))) - (macro.run (init-compiler [])) + (macro.run (io.run init-jvm)) (case> (^multi (#e.Success [_ sumA]) [(la.unfold-variant sumA) (#.Some [tag last? valueA])]) @@ -64,7 +64,7 @@ (tc.check varT variantT))] (&.with-type varT (@.analyse-sum analyse choice valueC)))) - (macro.run (init-compiler [])) + (macro.run (io.run init-jvm)) (case> (^multi (#e.Success [_ sumA]) [(la.unfold-variant sumA) (#.Some [tag last? valueA])]) @@ -79,7 +79,7 @@ [[_ varT] (&.with-type-env tc.var)] (&.with-type varT (@.analyse-sum analyse choice valueC)))) - (macro.run (init-compiler [])) + (macro.run (io.run init-jvm)) (case> (#e.Success _) false @@ -89,7 +89,7 @@ (|> (&.with-scope (&.with-type (type.ex-q +1 +variantT) (@.analyse-sum analyse +choice +valueC))) - (macro.run (init-compiler [])) + (macro.run (io.run init-jvm)) (case> (#e.Success _) true @@ -99,7 +99,7 @@ (|> (&.with-scope (&.with-type (type.univ-q +1 +variantT) (@.analyse-sum analyse +choice +valueC))) - (macro.run (init-compiler [])) + (macro.run (io.run init-jvm)) (case> (#e.Success _) (not (n/= choice +choice)) @@ -123,7 +123,7 @@ (test "Can analyse product." (|> (&.with-type (type.tuple (list/map product.left primitives)) (@.analyse-product analyse (list/map product.right primitives))) - (macro.run (init-compiler [])) + (macro.run (io.run init-jvm)) (case> (#e.Success tupleA) (n/= size (list.size (la.unfold-tuple tupleA))) @@ -132,7 +132,7 @@ (test "Can infer product." (|> (@common.with-unknown-type (@.analyse-product analyse (list/map product.right primitives))) - (macro.run (init-compiler [])) + (macro.run (io.run init-jvm)) (case> (#e.Success [_type tupleA]) (and (type/= (type.tuple (list/map product.left primitives)) _type) @@ -143,7 +143,7 @@ (test "Can analyse pseudo-product (singleton tuple)" (|> (&.with-type singletonT (analyse (` [(~ singletonC)]))) - (macro.run (init-compiler [])) + (macro.run (io.run init-jvm)) (case> (#e.Success singletonA) true @@ -157,7 +157,7 @@ (tc.check varT (type.tuple (list/map product.left primitives))))] (&.with-type varT (@.analyse-product analyse (list/map product.right primitives))))) - (macro.run (init-compiler [])) + (macro.run (io.run init-jvm)) (case> (#e.Success [_ tupleA]) (n/= size (list.size (la.unfold-tuple tupleA))) @@ -167,7 +167,7 @@ (|> (&.with-scope (&.with-type (type.ex-q +1 +tupleT) (@.analyse-product analyse (list/map product.right +primitives)))) - (macro.run (init-compiler [])) + (macro.run (io.run init-jvm)) (case> (#e.Success _) true @@ -177,7 +177,7 @@ (|> (&.with-scope (&.with-type (type.univ-q +1 +tupleT) (@.analyse-product analyse (list/map product.right +primitives)))) - (macro.run (init-compiler [])) + (macro.run (io.run init-jvm)) (case> (#e.Success _) false @@ -189,7 +189,7 @@ (-> Type Nat Nat (Meta [Module Scope la.Analysis]) Bool) (|> analysis (&.with-type variantT) - (macro.run (init-compiler [])) + (macro.run (io.run init-jvm)) (case> (^multi (#e.Success [_ _ sumA]) [(la.unfold-variant sumA) (#.Some [tag last? valueA])]) @@ -202,7 +202,7 @@ (def: (check-record-inference tupleT size analysis) (-> Type Nat (Meta [Module Scope Type la.Analysis]) Bool) (|> analysis - (macro.run (init-compiler [])) + (macro.run (io.run init-jvm)) (case> (^multi (#e.Success [_ _ productT productA]) [(la.unfold-tuple productA) membersA]) @@ -264,7 +264,7 @@ (&.with-scope (&.with-type variantT (@.analyse-tagged-sum analyse [module-name other-choice-tag] other-choiceC))))) - (macro.run (init-compiler [])) + (macro.run (io.run init-jvm)) (case> (^multi (#e.Success [_ _ sumA]) [(la.unfold-variant sumA) (#.Some [tag last? valueA])]) @@ -320,7 +320,7 @@ (&.with-scope (&.with-type tupleT (@.analyse-record analyse recordC))))) - (macro.run (init-compiler [])) + (macro.run (io.run init-jvm)) (case> (^multi (#e.Success [_ _ productA]) [(la.unfold-tuple productA) membersA]) |