From 901b09dada43ec6f3b21618800ec7400fda54a0d Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 18 Oct 2017 12:42:46 -0400
Subject: - Updated to the latest changes in stdlib.

---
 new-luxc/source/luxc/generator/expr.jvm.lux | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(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
index 6b6c68fde..c7fdcf2af 100644
--- a/new-luxc/source/luxc/generator/expr.jvm.lux
+++ b/new-luxc/source/luxc/generator/expr.jvm.lux
@@ -2,7 +2,7 @@
   lux
   (lux (control monad)
        (data text/format)
-       [macro #+ Monad<Lux> "Lux/" Monad<Lux>])
+       [meta #+ Monad<Meta> "Meta/" Monad<Meta>])
   (luxc ["&" base]
         (lang ["ls" synthesis])
         ["&;" analyser]
@@ -18,7 +18,7 @@
                    (host ["$" jvm]))))
 
 (def: #export (generate synthesis)
-  (-> ls;Synthesis (Lux $;Inst))
+  (-> ls;Synthesis (Meta $;Inst))
   (case synthesis
     #ls;Unit
     &primitive;generate-unit
@@ -54,11 +54,11 @@
     (&procedure;generate-procedure generate name args)
 
     _
-    (macro;fail "Unrecognized synthesis.")))
+    (meta;fail "Unrecognized synthesis.")))
 
 ## (def: #export (eval type code)
-##   (-> Type Code (Lux Top))
-##   (do Monad<Lux>
+##   (-> Type Code (Meta Top))
+##   (do Monad<Meta>
 ##     [analysis (&;with-expected-type leftT
 ##                 (&analyser;analyser eval code))
 ##      #let [synthesis (&synthesizer;synthesize analysis)]
@@ -70,8 +70,8 @@
 ##   (&analyser;analyser eval))
 
 ## (def: #export (generate input)
-##   (-> Code (Lux Unit))
-##   (do Monad<Lux>
+##   (-> Code (Meta Unit))
+##   (do Monad<Meta>
 ##     [analysis (analyse input)
 ##      #let [synthesis (&synthesizer;synthesize analysis)]]
 ##     (generate-synthesis synthesis)))
-- 
cgit v1.2.3