diff options
| author | Eduardo Julian | 2019-03-13 19:31:53 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-03-13 19:31:53 -0400 |
| commit | d5e630c8f1db51cb493ad683f06ca9e2dd521478 (patch) | |
| tree | 8354effc4129701d2d3f717ca0278d9b60363d9d /stdlib/source/lux/tool/compiler/default/evaluation.lux | |
| parent | 64e7676f2f4e495d64bc38a501475ccbf2b5e810 (diff) | |
The "translation" phase has been re-named to "generation".
Diffstat (limited to 'stdlib/source/lux/tool/compiler/default/evaluation.lux')
| -rw-r--r-- | stdlib/source/lux/tool/compiler/default/evaluation.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/lux/tool/compiler/default/evaluation.lux b/stdlib/source/lux/tool/compiler/default/evaluation.lux index 42bb10ca0..5122237a8 100644 --- a/stdlib/source/lux/tool/compiler/default/evaluation.lux +++ b/stdlib/source/lux/tool/compiler/default/evaluation.lux @@ -12,7 +12,7 @@ [".P" analysis ["." type]] [".P" synthesis] - ["." translation] + ["." generation] [// [analysis (#+ Operation)] ["." synthesis]]]]) @@ -20,12 +20,12 @@ (type: #export Eval (-> Nat Type Code (Operation Any))) -(def: #export (evaluator expander synthesis-state translation-state translate) +(def: #export (evaluator expander synthesis-state generation-state generate) (All [anchor expression statement] (-> Expander synthesis.State+ - (translation.State+ anchor expression statement) - (translation.Phase anchor expression statement) + (generation.State+ anchor expression statement) + (generation.Phase anchor expression statement) Eval)) (let [analyze (analysisP.phase expander)] (function (eval count type exprC) @@ -34,7 +34,7 @@ (analyze exprC))] (phase.lift (do error.monad [exprS (|> exprA synthesisP.phase (phase.run synthesis-state))] - (phase.run translation-state + (phase.run generation-state (do phase.monad - [exprO (translate exprS)] - (translation.evaluate! (format "eval" (%n count)) exprO))))))))) + [exprO (generate exprS)] + (generation.evaluate! (format "eval" (%n count)) exprO))))))))) |