diff options
Diffstat (limited to '')
-rw-r--r-- | new-luxc/test/test/luxc/lang/translation/case.lux (renamed from new-luxc/test/test/luxc/generator/case.lux) | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/new-luxc/test/test/luxc/generator/case.lux b/new-luxc/test/test/luxc/lang/translation/case.lux index e4201a30b..3a8608ea7 100644 --- a/new-luxc/test/test/luxc/generator/case.lux +++ b/new-luxc/test/test/luxc/lang/translation/case.lux @@ -10,12 +10,12 @@ [meta] (meta [code]) test) - (luxc (lang ["ls" synthesis]) - (generator ["@" case] - [";G" expression] - ["@;" eval] - ["@;" runtime] - ["@;" common])) + (luxc (lang ["ls" synthesis] + (translation ["@" case] + [";T" expression] + ["@;" eval] + ["@;" runtime] + ["@;" common]))) (test/luxc common)) (def: struct-limit Nat +10) @@ -71,7 +71,7 @@ (test "Can generate pattern-matching." (|> (do meta;Monad<Meta> [runtime-bytecode @runtime;generate - sampleI (@;generate-case expressionG;generate + sampleI (@;generate-case expressionT;generate valueS (` ("lux case alt" ("lux case seq" (~ pathS) @@ -80,22 +80,22 @@ ("lux case exec" false)))))] (@eval;eval sampleI)) (meta;run (init-compiler [])) - (case> (#e;Success valueG) - (:! Bool valueG) + (case> (#e;Success valueT) + (:! Bool valueT) (#e;Error error) false))) (test "Can bind values." (|> (do meta;Monad<Meta> [runtime-bytecode @runtime;generate - sampleI (@;generate-case expressionG;generate + sampleI (@;generate-case expressionT;generate (code;nat to-bind) (` ("lux case seq" ("lux case bind" +0) ("lux case exec" (0)))))] (@eval;eval sampleI)) (meta;run (init-compiler [])) - (case> (#e;Success valueG) - (n.= to-bind (:! Nat valueG)) + (case> (#e;Success valueT) + (n.= to-bind (:! Nat valueT)) _ false))))))) |