diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/tool/compiler/default/evaluation.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/lux/tool/compiler/default/evaluation.lux b/stdlib/source/lux/tool/compiler/default/evaluation.lux index 3310a1fd1..42bb10ca0 100644 --- a/stdlib/source/lux/tool/compiler/default/evaluation.lux +++ b/stdlib/source/lux/tool/compiler/default/evaluation.lux @@ -9,13 +9,13 @@ [/// ["." phase [macro (#+ Expander)] - ["." analysis + [".P" analysis ["." type]] - ["." synthesis - [".S" expression]] + [".P" synthesis] ["." translation] [// - [analysis (#+ Operation)]]]]) + [analysis (#+ Operation)] + ["." synthesis]]]]) (type: #export Eval (-> Nat Type Code (Operation Any))) @@ -27,13 +27,13 @@ (translation.State+ anchor expression statement) (translation.Phase anchor expression statement) Eval)) - (let [analyze (analysis.phase expander)] + (let [analyze (analysisP.phase expander)] (function (eval count type exprC) (do phase.monad [exprA (type.with-type type (analyze exprC))] (phase.lift (do error.monad - [exprS (|> exprA expressionS.phase (phase.run synthesis-state))] + [exprS (|> exprA synthesisP.phase (phase.run synthesis-state))] (phase.run translation-state (do phase.monad [exprO (translate exprS)] |