- WIP: Some initial implementations for some re-written infrastructure.

1 files changed, 26 insertions, 0 deletions

diff --git a/new-luxc/source/luxc/compiler/statement.jvm.lux b/new-luxc/source/luxc/compiler/statement.jvm.lux
new file mode 100644
index 000000000..c4c23746e
--- /dev/null
+++ b/new-luxc/source/luxc/compiler/statement.jvm.lux
@@ -0,0 +1,26 @@
+(;module:
+  lux
+  (lux (control monad)
+       [io #- run]
+       (data ["E" error]
+             [text "T/" Eq<Text>]
+             text/format)
+       [macro #+ Monad<Lux>])
+  (luxc ["&" base]
+        ["&;" module]
+        ["&;" env]
+        (compiler ["&;" expr])))
+
+(def: (compile-def def-name def-value def-meta)
+  (-> Text AST AST (Lux Unit))
+  (do Monad<Lux>
+    [=def-value (&expr;compile def-value)
+     =def-meta (&expr;compile def-meta)]
+    (undefined)))
+
+(def: (compile-program prog-args prog-body)
+  (-> Text AST (Lux Unit))
+  (do Monad<Lux>
+    [=prog-body (&env;with-local [prog-args (type (List Text))]
+                                 (&expr;compile prog-body))]
+    (undefined)))