diff options
Diffstat (limited to 'new-luxc/test/test/luxc/lang/translation')
| -rw-r--r-- | new-luxc/test/test/luxc/lang/translation/jvm/case.lux (renamed from new-luxc/test/test/luxc/lang/translation/case.lux) | 10 | ||||
| -rw-r--r-- | new-luxc/test/test/luxc/lang/translation/jvm/function.lux (renamed from new-luxc/test/test/luxc/lang/translation/function.lux) | 8 | ||||
| -rw-r--r-- | new-luxc/test/test/luxc/lang/translation/jvm/primitive.lux (renamed from new-luxc/test/test/luxc/lang/translation/primitive.lux) | 8 | ||||
| -rw-r--r-- | new-luxc/test/test/luxc/lang/translation/jvm/procedure/common.jvm.lux (renamed from new-luxc/test/test/luxc/lang/translation/procedure/common.jvm.lux) | 8 | ||||
| -rw-r--r-- | new-luxc/test/test/luxc/lang/translation/jvm/procedure/host.jvm.lux (renamed from new-luxc/test/test/luxc/lang/translation/procedure/host.jvm.lux) | 8 | ||||
| -rw-r--r-- | new-luxc/test/test/luxc/lang/translation/jvm/reference.lux (renamed from new-luxc/test/test/luxc/lang/translation/reference.lux) | 18 | ||||
| -rw-r--r-- | new-luxc/test/test/luxc/lang/translation/jvm/structure.lux (renamed from new-luxc/test/test/luxc/lang/translation/structure.lux) | 8 |
7 files changed, 31 insertions, 37 deletions
diff --git a/new-luxc/test/test/luxc/lang/translation/case.lux b/new-luxc/test/test/luxc/lang/translation/jvm/case.lux index 5b3972835..91071be6c 100644 --- a/new-luxc/test/test/luxc/lang/translation/case.lux +++ b/new-luxc/test/test/luxc/lang/translation/jvm/case.lux @@ -12,11 +12,11 @@ test) (luxc [lang] (lang ["ls" synthesis] - (translation ["@" case] - [".T" expression] - ["@." eval] - ["@." runtime] - ["@." common]))) + (translation (jvm ["@" case] + [".T" expression] + ["@." eval] + ["@." runtime] + ["@." common])))) (test/luxc common)) (def: struct-limit Nat +10) diff --git a/new-luxc/test/test/luxc/lang/translation/function.lux b/new-luxc/test/test/luxc/lang/translation/jvm/function.lux index 7a87e71a1..d9ee7ac71 100644 --- a/new-luxc/test/test/luxc/lang/translation/function.lux +++ b/new-luxc/test/test/luxc/lang/translation/jvm/function.lux @@ -15,10 +15,10 @@ test) (luxc [lang] (lang ["ls" synthesis] - (translation [".T" expression] - ["@." eval] - ["@." runtime] - ["@." common]))) + (translation (jvm [".T" expression] + ["@." eval] + ["@." runtime] + ["@." common])))) (test/luxc common)) (def: arity-limit Nat +10) diff --git a/new-luxc/test/test/luxc/lang/translation/primitive.lux b/new-luxc/test/test/luxc/lang/translation/jvm/primitive.lux index d6e316036..9d51490e2 100644 --- a/new-luxc/test/test/luxc/lang/translation/primitive.lux +++ b/new-luxc/test/test/luxc/lang/translation/jvm/primitive.lux @@ -14,10 +14,10 @@ (luxc [lang] (lang [".L" host] ["ls" synthesis] - (translation [".T" expression] - ["@." runtime] - ["@." eval] - ["@." common]))) + (translation (jvm [".T" expression] + ["@." runtime] + ["@." eval] + ["@." common])))) (test/luxc common)) (context: "Primitives." diff --git a/new-luxc/test/test/luxc/lang/translation/procedure/common.jvm.lux b/new-luxc/test/test/luxc/lang/translation/jvm/procedure/common.jvm.lux index 96cf8b01e..8e4fd362f 100644 --- a/new-luxc/test/test/luxc/lang/translation/procedure/common.jvm.lux +++ b/new-luxc/test/test/luxc/lang/translation/jvm/procedure/common.jvm.lux @@ -18,10 +18,10 @@ test) (luxc [lang] (lang ["ls" synthesis] - (translation [".T" expression] - ["@." eval] - ["@." runtime] - ["@." common]))) + (translation (jvm [".T" expression] + ["@." eval] + ["@." runtime] + ["@." common])))) (test/luxc common)) (context: "Bit procedures" diff --git a/new-luxc/test/test/luxc/lang/translation/procedure/host.jvm.lux b/new-luxc/test/test/luxc/lang/translation/jvm/procedure/host.jvm.lux index 4af912b2a..a8e53e79e 100644 --- a/new-luxc/test/test/luxc/lang/translation/procedure/host.jvm.lux +++ b/new-luxc/test/test/luxc/lang/translation/jvm/procedure/host.jvm.lux @@ -19,10 +19,10 @@ (luxc [lang] (lang [".L" host] ["ls" synthesis] - (translation [".T" expression] - ["@." eval] - ["@." runtime] - ["@." common]))) + (translation (jvm [".T" expression] + ["@." eval] + ["@." runtime] + ["@." common])))) (test/luxc common)) (context: "Conversions [Part 1]" diff --git a/new-luxc/test/test/luxc/lang/translation/reference.lux b/new-luxc/test/test/luxc/lang/translation/jvm/reference.lux index bcdef1a8b..ddbefd8d9 100644 --- a/new-luxc/test/test/luxc/lang/translation/reference.lux +++ b/new-luxc/test/test/luxc/lang/translation/jvm/reference.lux @@ -14,11 +14,11 @@ (host ["$" jvm] (jvm ["$i" inst])) ["ls" synthesis] - (translation [".T" statement] - [".T" eval] - [".T" expression] - [".T" case] - [".T" runtime]))) + (translation (jvm [".T" statement] + [".T" eval] + [".T" expression] + [".T" case] + [".T" runtime])))) (test/luxc common)) (def: nilI $.Inst runtimeT.noneI) @@ -31,12 +31,6 @@ $i.DUP ($i.int 1) ($i.long 0) ($i.wrap #$.Long) $i.AASTORE $i.DUP ($i.int 2) ($i.long 0) ($i.wrap #$.Long) $i.AASTORE)) -(def: empty-metaI - (|>> ($i.int 2) - ($i.array runtimeT.$Tuple) - $i.DUP ($i.int 0) cursorI $i.AASTORE - $i.DUP ($i.int 1) nilI $i.AASTORE)) - (context: "Definitions." (<| (times +100) (do @ @@ -48,7 +42,7 @@ (test "Can refer to definitions." (|> (do macro.Monad<Meta> [_ (_module.with-module +0 module-name - (statementT.translate-def def-name Int valueI empty-metaI (' {}))) + (statementT.translate-def def-name Int valueI (' {}))) sampleI (expressionT.translate (code.symbol [module-name def-name]))] (evalT.eval sampleI)) (lang.with-current-module "") diff --git a/new-luxc/test/test/luxc/lang/translation/structure.lux b/new-luxc/test/test/luxc/lang/translation/jvm/structure.lux index 078079b6b..2fc377bd6 100644 --- a/new-luxc/test/test/luxc/lang/translation/structure.lux +++ b/new-luxc/test/test/luxc/lang/translation/jvm/structure.lux @@ -18,10 +18,10 @@ (luxc [lang] (lang [".L" host] ["ls" synthesis] - (translation [".T" expression] - ["@." eval] - ["@." runtime] - ["@." common]))) + (translation (jvm [".T" expression] + ["@." eval] + ["@." runtime] + ["@." common])))) (test/luxc common)) (host.import java/lang/Integer) |