aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/tool/compiler/default/evaluation.lux
diff options
context:
space:
mode:
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