aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/tool/compiler/default/evaluation.lux
diff options
context:
space:
mode:
authorEduardo Julian2019-03-03 02:22:23 -0400
committerEduardo Julian2019-03-03 02:22:23 -0400
commit56219b002c43690e74e3e0c88fed32143dcc7e28 (patch)
tree665aafd4f8d80ed6f5722a673229630b699a6cc3 /stdlib/source/lux/tool/compiler/default/evaluation.lux
parentbd433efacc33492705b09953d321b844d2b1c9f0 (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.lux9
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