diff options
| author | Eduardo Julian | 2019-03-03 12:09:56 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-03-03 12:09:56 -0400 |
| commit | f4bb7ff1455659a766a074506b54129e0037db64 (patch) | |
| tree | bbf79c07fa08088c99aca93236ce1eaa0974d333 /stdlib/source/lux/tool/compiler/default/evaluation.lux | |
| parent | 539ad81bbb9034e41e6ca8f5445a9dd239c60be1 (diff) | |
Some refactoring around synthesis.
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)] |