diff options
author | Eduardo Julian | 2019-03-03 02:22:23 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-03-03 02:22:23 -0400 |
commit | 56219b002c43690e74e3e0c88fed32143dcc7e28 (patch) | |
tree | 665aafd4f8d80ed6f5722a673229630b699a6cc3 /stdlib/source/lux/tool/compiler/default/evaluation.lux | |
parent | bd433efacc33492705b09953d321b844d2b1c9f0 (diff) |
Some refactoring around analysis.
Diffstat (limited to 'stdlib/source/lux/tool/compiler/default/evaluation.lux')
-rw-r--r-- | stdlib/source/lux/tool/compiler/default/evaluation.lux | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/stdlib/source/lux/tool/compiler/default/evaluation.lux b/stdlib/source/lux/tool/compiler/default/evaluation.lux index 68fda1e7d..98da861d7 100644 --- a/stdlib/source/lux/tool/compiler/default/evaluation.lux +++ b/stdlib/source/lux/tool/compiler/default/evaluation.lux @@ -8,13 +8,14 @@ format]]] [/// ["." phase - [analysis (#+ Operation) - [".A" expression] + ["." analysis ["." type] [macro (#+ Expander)]] ["." synthesis [".S" expression]] - ["." translation]]]) + ["." translation] + [// + [analysis (#+ Operation)]]]]) (type: #export Eval (-> Nat Type Code (Operation Any))) @@ -26,7 +27,7 @@ (translation.State+ anchor expression statement) (translation.Phase anchor expression statement) Eval)) - (let [analyze (expressionA.phase expander)] + (let [analyze (analysis.phase expander)] (function (eval count type exprC) (do phase.monad [exprA (type.with-type type |