From 012f6bd41e527479dddbccbdab10daa78fd9a0fd Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 1 Nov 2017 00:51:45 -0400
Subject: - Re-organized code-generation, and re-named it "translation".

---
 .../source/luxc/lang/translation/procedure.jvm.lux | 24 ++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 new-luxc/source/luxc/lang/translation/procedure.jvm.lux

(limited to 'new-luxc/source/luxc/lang/translation/procedure.jvm.lux')

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)))))
-- 
cgit v1.2.3