1 files changed, 24 insertions, 0 deletions
diff --git a/new-luxc/source/luxc/lang/translation/procedure.jvm.lux b/new-luxc/source/luxc/lang/translation/procedure.jvm.lux
new file mode 100644
index 000000000..973f0e968
--- /dev/null
+++ b/new-luxc/source/luxc/lang/translation/procedure.jvm.lux
@@ -0,0 +1,24 @@
+(;module:
+  lux
+  (lux (control [monad #+ do])
+       (data [maybe]
+             text/format
+             (coll [dict])))
+  (luxc ["&" base]
+        (host ["$" jvm])
+        (lang ["ls" synthesis]))
+  (. ["./;" common]
+     ["./;" host]))
+
+(def: procedures
+  ./common;Bundle
+  (|> ./common;procedures
+      (dict;merge ./host;procedures)))
+
+(def: #export (generate-procedure generate name args)
+  (-> (-> ls;Synthesis (Meta $;Inst)) Text (List ls;Synthesis)
+      (Meta $;Inst))
+  (<| (maybe;default (&;fail (format "Unknown procedure: " (%t name))))
+      (do maybe;Monad<Maybe>
+        [proc (dict;get name procedures)]
+        (wrap (proc generate args)))))