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