aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/translation.lux
diff options
context:
space:
mode:
authorEduardo Julian2018-01-08 21:29:02 -0400
committerEduardo Julian2018-01-08 21:29:02 -0400
commitf523bc14d43286348aeb200bd0554812dc6ef28d (patch)
tree58876df8fc7b6ec9384c8ed4239a290567120542 /new-luxc/source/luxc/lang/translation.lux
parentb7d53027deeb185fa7b4312ba7079aa566762513 (diff)
- Now using synthesis extensions during synthesis.
Diffstat (limited to '')
-rw-r--r--new-luxc/source/luxc/lang/translation.lux8
1 files changed, 5 insertions, 3 deletions
diff --git a/new-luxc/source/luxc/lang/translation.lux b/new-luxc/source/luxc/lang/translation.lux
index 1a8ae9be0..9a2b27122 100644
--- a/new-luxc/source/luxc/lang/translation.lux
+++ b/new-luxc/source/luxc/lang/translation.lux
@@ -57,7 +57,8 @@
[[_ annsA] (&.with-scope
(&.with-type Code
(analyse annsC)))
- annsI (expressionT.translate (expressionS.synthesize annsA))
+ syntheses extensionL.all-syntheses
+ annsI (expressionT.translate (expressionS.synthesize syntheses annsA))
annsV (evalT.eval annsI)]
(wrap [annsI (:! Code annsV)])))
@@ -203,8 +204,9 @@
(wrap [module artifacts])))
(#e.Success [compiler [module artifacts]])
(do @
- [_ (&io.prepare-module target-dir module-name)
- _ (write-module target-dir file-name module-name module artifacts)]
+ [## _ (&io.prepare-module target-dir module-name)
+ ## _ (write-module target-dir file-name module-name module artifacts)
+ ]
(wrap compiler))
(#e.Error error)