From 71d7a4c7206155e09f3e1e1d8699561ea6967382 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 1 Nov 2017 00:04:43 -0400
Subject: - Re-organized synthesis.

---
 new-luxc/source/luxc/eval.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'new-luxc/source/luxc/eval.lux')

diff --git a/new-luxc/source/luxc/eval.lux b/new-luxc/source/luxc/eval.lux
index fdbf8e781..baac56c64 100644
--- a/new-luxc/source/luxc/eval.lux
+++ b/new-luxc/source/luxc/eval.lux
@@ -2,10 +2,10 @@
   lux
   (lux (control [monad #+ do])
        [meta])
-  (luxc (lang (analysis [";A" expression])))
+  (luxc (lang (analysis [";A" expression])
+              (synthesis [";S" expression])))
   [../base]
-  (.. [synthesizer]
-      (generator [";G" expression]
+  (.. (generator [";G" expression]
                  [eval])))
 
 (def: #export (eval type exprC)
@@ -13,6 +13,6 @@
   (do meta;Monad<Meta>
     [exprA (../base;with-expected-type type
              (expressionA;analyser eval exprC))
-     #let [exprS (synthesizer;synthesize exprA)]
+     #let [exprS (expressionS;synthesize exprA)]
      exprI (expressionG;generate exprS)]
     (eval;eval exprI)))
-- 
cgit v1.2.3