From 9cd2927a4f6175784e081d6b512d3e900c8069e7 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 12 Jun 2017 21:14:55 -0400
Subject: - Renamed the "compilation" phase as the "generation" phase. -
 Implemented compilation of primitives. - Implemented compilation of
 structures.

---
 new-luxc/source/luxc/generator/expr.jvm.lux | 55 +++++++++++++++++++++++++++++
 1 file changed, 55 insertions(+)
 create mode 100644 new-luxc/source/luxc/generator/expr.jvm.lux

(limited to 'new-luxc/source/luxc/generator/expr.jvm.lux')

diff --git a/new-luxc/source/luxc/generator/expr.jvm.lux b/new-luxc/source/luxc/generator/expr.jvm.lux
new file mode 100644
index 000000000..4b038378a
--- /dev/null
+++ b/new-luxc/source/luxc/generator/expr.jvm.lux
@@ -0,0 +1,55 @@
+(;module:
+  lux
+  (lux (control monad)
+       (data text/format)
+       [macro #+ Monad<Lux> "Lux/" Monad<Lux>]
+       [host #+ jvm-import])
+  (luxc ["&" base]
+        (lang ["la" analysis]
+              ["ls" synthesis])
+        ["&;" analyser]
+        ["&;" synthesizer]
+        (generator ["&;" common]
+                   ["&;" primitive]
+                   ["&;" structure])))
+
+(def: #export (generate synthesis)
+  (-> ls;Synthesis (Lux Unit))
+  (case synthesis
+    #ls;Unit
+    &primitive;generate-unit
+
+    (^template [<tag> <generator>]
+      (<tag> value)
+      (<generator> value))
+    ([#ls;Bool &primitive;generate-bool]
+     [#ls;Nat &primitive;generate-nat]
+     [#ls;Int &primitive;generate-int]
+     [#ls;Deg &primitive;generate-deg]
+     [#ls;Real &primitive;generate-real]
+     [#ls;Char &primitive;generate-char]
+     [#ls;Text &primitive;generate-text])
+
+    (#ls;Variant tag tail? member)
+    (&structure;generate-variant generate tag tail? member)
+    
+    (#ls;Tuple members)
+    (&structure;generate-tuple generate members)
+    
+    _
+    (macro;fail "Unrecognized synthesis.")))
+
+## (def: (eval type code)
+##   &;Eval
+##   (undefined))
+
+## (def: analyse
+##   &;Analyser
+##   (&analyser;analyser eval))
+
+## (def: #export (generate input)
+##   (-> Code (Lux Unit))
+##   (do Monad<Lux>
+##     [analysis (analyse input)
+##      #let [synthesis (&synthesizer;synthesize analysis)]]
+##     (generate-synthesis synthesis)))
-- 
cgit v1.2.3