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/translation.lux | |
parent | b7d53027deeb185fa7b4312ba7079aa566762513 (diff) |
- Now using synthesis extensions during synthesis.
Diffstat (limited to 'new-luxc/source/luxc/lang/translation.lux')
-rw-r--r-- | new-luxc/source/luxc/lang/translation.lux | 8 |
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) |