diff options
author | Eduardo Julian | 2018-01-08 21:29:02 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-01-08 21:29:02 -0400 |
commit | f523bc14d43286348aeb200bd0554812dc6ef28d (patch) | |
tree | 58876df8fc7b6ec9384c8ed4239a290567120542 /new-luxc/source/luxc/lang/eval.lux | |
parent | b7d53027deeb185fa7b4312ba7079aa566762513 (diff) |
- Now using synthesis extensions during synthesis.
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))) |