aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/eval.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--new-luxc/source/luxc/lang/eval.lux6
1 files changed, 4 insertions, 2 deletions
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)))