From f523bc14d43286348aeb200bd0554812dc6ef28d Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 8 Jan 2018 21:29:02 -0400
Subject: - Now using synthesis extensions during synthesis.

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

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

diff --git a/new-luxc/source/luxc/lang/eval.lux b/new-luxc/source/luxc/lang/eval.lux
index 62d6a438b..87cbadfa0 100644
--- a/new-luxc/source/luxc/lang/eval.lux
+++ b/new-luxc/source/luxc/lang/eval.lux
@@ -3,7 +3,8 @@
   (lux (control [monad #+ do])
        [macro])
   (luxc ["&" lang]
-        (lang (analysis [".A" expression])
+        (lang [".L" extension]
+              (analysis [".A" expression])
               (synthesis [".S" expression])
               (translation [".T" expression]
                            [".T" eval]))))
@@ -13,6 +14,7 @@
   (do macro.Monad<Meta>
     [exprA (&.with-type type
              (expressionA.analyser eval exprC))
-     #let [exprS (expressionS.synthesize exprA)]
+     syntheses extensionL.all-syntheses
+     #let [exprS (expressionS.synthesize syntheses exprA)]
      exprI (expressionT.translate exprS)]
     (evalT.eval exprI)))
-- 
cgit v1.2.3