diff options
Diffstat (limited to 'new-luxc/source/luxc/lang/eval.lux')
-rw-r--r-- | new-luxc/source/luxc/lang/eval.lux | 6 |
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))) |