aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc
diff options
context:
space:
mode:
authorEduardo Julian2018-08-02 23:23:20 -0400
committerEduardo Julian2018-08-02 23:23:20 -0400
commita8979a7b1ed69740eb6c7c00c934e2fadd129322 (patch)
treea32b39006ed7143c322b2171989850fd1f33499e /new-luxc/source/luxc
parent015134cd44e066e49b3bac56b442a6150c782600 (diff)
Moved statement-state initialization o "lux/compiler/default/init".
Diffstat (limited to 'new-luxc/source/luxc')
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/statement.jvm.lux18
1 files changed, 18 insertions, 0 deletions
diff --git a/new-luxc/source/luxc/lang/translation/jvm/statement.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/statement.jvm.lux
index 7461d981f..65ab9d147 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/statement.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/statement.jvm.lux
@@ -20,6 +20,24 @@
(// [".T" common]
[".T" runtime]))
+## (def: (lux//program procedure)
+## (-> Text //.Statement)
+## (function (_ inputsC+)
+## (case inputsC+
+## (^ (list [_ (#.Identifier ["" args])] programC))
+## (do macro.Monad<Meta>
+## [[_ programA] (<| lang.with-scope
+## (scopeL.with-local [args (type (List Text))])
+## (lang.with-type (type (IO Any)))
+## (expressionA.analyser evalL.eval programC))
+## syntheses //.all-syntheses
+## programI (expressionT.translate (expressionS.synthesize syntheses programA))
+## _ (statementT.translate-program programI)]
+## (wrap []))
+
+## _
+## (throw-invalid-statement procedure inputsC+))))
+
(def: #export (translate-program programI)
(-> $.Inst (Meta Any))
(let [nilI runtimeT.noneI