diff options
Diffstat (limited to '')
-rw-r--r-- | new-luxc/test/test/luxc/lang/translation/reference.lux | 56 |
1 files changed, 34 insertions, 22 deletions
diff --git a/new-luxc/test/test/luxc/lang/translation/reference.lux b/new-luxc/test/test/luxc/lang/translation/reference.lux index 130a42ed3..919e35ab2 100644 --- a/new-luxc/test/test/luxc/lang/translation/reference.lux +++ b/new-luxc/test/test/luxc/lang/translation/reference.lux @@ -26,7 +26,13 @@ [".T_lua" eval] [".T_lua" expression] [".T_lua" case] - [".T_lua" runtime])))) + [".T_lua" runtime]) + (ruby [".T_ruby" statement] + [".T_ruby" eval] + [".T_ruby" expression] + [".T_ruby" case] + [".T_ruby" runtime]) + ))) (test/luxc common)) (def: upper-alpha-ascii @@ -97,32 +103,38 @@ false))) ))) -(context: "[JVM] Definitions." - (<| (times +100) - (definitions-spec expressionT_jvm.translate evalT_jvm.eval runtimeT_jvm.translate init-jvm - statementT_jvm.translate-def))) - -(context: "[JVM] Variables." - (<| (times +100) - (variables-spec expressionT_jvm.translate evalT_jvm.eval runtimeT_jvm.translate init-jvm - caseT_jvm.translate-let))) +(def: (references-spec translate-expression eval translate-runtime init + translate-def translate-let) + (All [a] + (-> (-> ls.Synthesis (Meta a)) (-> a (Meta Top)) (Meta Top) (IO Compiler) + (-> Text Type a Code (Meta Unit)) + (-> (-> ls.Synthesis (Meta a)) Nat ls.Synthesis ls.Synthesis (Meta a)) + Test)) + (seq (definitions-spec translate-expression eval translate-runtime init + translate-def) + (variables-spec translate-expression eval translate-runtime init + translate-let))) -(context: "[JS] Definitions." +(context: "[JVM] References." (<| (times +100) - (definitions-spec expressionT_js.translate evalT_js.eval runtimeT_js.translate init-js - statementT_js.translate-def))) + (references-spec expressionT_jvm.translate evalT_jvm.eval runtimeT_jvm.translate init-jvm + statementT_jvm.translate-def + caseT_jvm.translate-let))) -(context: "[JS] Variables." +(context: "[JS] References." (<| (times +100) - (variables-spec expressionT_js.translate evalT_js.eval runtimeT_js.translate init-js - caseT_js.translate-let))) + (references-spec expressionT_js.translate evalT_js.eval runtimeT_js.translate init-js + statementT_js.translate-def + caseT_js.translate-let))) -(context: "[Lua] Definitions." +(context: "[Lua] References." (<| (times +100) - (definitions-spec expressionT_lua.translate evalT_lua.eval runtimeT_lua.translate init-lua - statementT_lua.translate-def))) + (references-spec expressionT_lua.translate evalT_lua.eval runtimeT_lua.translate init-lua + statementT_lua.translate-def + caseT_lua.translate-let))) -(context: "[Lua] Variables." +(context: "[Ruby] References." (<| (times +100) - (variables-spec expressionT_lua.translate evalT_lua.eval runtimeT_lua.translate init-lua - caseT_lua.translate-let))) + (references-spec expressionT_ruby.translate evalT_ruby.eval runtimeT_ruby.translate init-ruby + statementT_ruby.translate-def + caseT_ruby.translate-let))) |