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 | |
parent | 64e7676f2f4e495d64bc38a501475ccbf2b5e810 (diff) |
The "translation" phase has been re-named to "generation".
Diffstat (limited to 'stdlib/source/lux/tool/compiler/default')
-rw-r--r-- | stdlib/source/lux/tool/compiler/default/evaluation.lux | 14 | ||||
-rw-r--r-- | stdlib/source/lux/tool/compiler/default/init.lux | 22 | ||||
-rw-r--r-- | stdlib/source/lux/tool/compiler/default/platform.lux | 18 |
3 files changed, 27 insertions, 27 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))))))))) diff --git a/stdlib/source/lux/tool/compiler/default/init.lux b/stdlib/source/lux/tool/compiler/default/init.lux index 850615b37..aebb74046 100644 --- a/stdlib/source/lux/tool/compiler/default/init.lux +++ b/stdlib/source/lux/tool/compiler/default/init.lux @@ -26,7 +26,7 @@ [".P" analysis ["." module]] [".P" synthesis] - ["." translation] + ["." generation] [".P" statement] ["." extension [".E" analysis] @@ -60,8 +60,8 @@ [[bundle state] phase.get-state #let [eval (evaluation.evaluator expander (get@ [#statement.synthesis #statement.state] state) - (get@ [#statement.translation #statement.state] state) - (get@ [#statement.translation #statement.phase] state))]] + (get@ [#statement.generation #statement.state] state) + (get@ [#statement.generation #statement.phase] state))]] (phase.set-state [bundle (update@ [#statement.analysis #statement.state] (: (-> analysis.State+ analysis.State+) @@ -69,24 +69,24 @@ [(analysisE.bundle eval)])) state)]))) -(def: #export (state expander host translate translation-bundle) +(def: #export (state expander host generate generation-bundle) (All [anchor expression statement] (-> Expander - (translation.Host expression statement) - (translation.Phase anchor expression statement) - (translation.Bundle anchor expression statement) + (generation.Host expression statement) + (generation.Phase anchor expression statement) + (generation.Bundle anchor expression statement) (statement.State+ anchor expression statement))) (let [synthesis-state [synthesisE.bundle synthesis.init] - translation-state [translation-bundle (translation.state host)] - eval (evaluation.evaluator expander synthesis-state translation-state translate) + generation-state [generation-bundle (generation.state host)] + eval (evaluation.evaluator expander synthesis-state generation-state generate) analysis-state [(analysisE.bundle eval) (analysis.state ..info host)]] [statementE.bundle {#statement.analysis {#statement.state analysis-state #statement.phase (analysisP.phase expander)} #statement.synthesis {#statement.state synthesis-state #statement.phase synthesisP.phase} - #statement.translation {#statement.state translation-state - #statement.phase translate}}])) + #statement.generation {#statement.state generation-state + #statement.phase generate}}])) (type: Reader (-> Source (Error [Source Code]))) diff --git a/stdlib/source/lux/tool/compiler/default/platform.lux b/stdlib/source/lux/tool/compiler/default/platform.lux index 73b5d8764..529a4ed79 100644 --- a/stdlib/source/lux/tool/compiler/default/platform.lux +++ b/stdlib/source/lux/tool/compiler/default/platform.lux @@ -21,7 +21,7 @@ [macro (#+ Expander)] ## TODO: Get rid of this import ASAP [extension (#+)] - ["." translation] + ["." generation] [analysis ["." module]]] ["." cli (#+ Configuration)] @@ -34,9 +34,9 @@ (type: #export (Platform ! anchor expression statement) {#&monad (Monad !) #&file-system (file.System !) - #host (translation.Host expression statement) - #phase (translation.Phase anchor expression statement) - #runtime (translation.Operation anchor expression statement Any)}) + #host (generation.Host expression statement) + #phase (generation.Phase anchor expression statement) + #runtime (generation.Operation anchor expression statement Any)}) ## (def: (write-module target-dir file-name module-name module outputs) ## (-> File Text Text Module Outputs (Process Any)) @@ -49,22 +49,22 @@ (with-expansions [<Platform> (as-is (Platform ! anchor expression statement)) <State+> (as-is (statement.State+ anchor expression statement)) - <Bundle> (as-is (translation.Bundle anchor expression statement))] + <Bundle> (as-is (generation.Bundle anchor expression statement))] - (def: #export (initialize expander platform translation-bundle) + (def: #export (initialize expander platform generation-bundle) (All [! anchor expression statement] (-> Expander <Platform> <Bundle> (! (Error <State+>)))) (|> platform (get@ #runtime) - statement.lift-translation + statement.lift-generation (phase.run' (init.state expander (get@ #host platform) (get@ #phase platform) - translation-bundle)) + generation-bundle)) (:: error.functor map product.left) (:: (get@ #&monad platform) wrap)) - ## (case (runtimeT.translate ## (initL.compiler (io.run js.init)) + ## (case (runtimeT.generate ## (initL.compiler (io.run js.init)) ## (initL.compiler (io.run hostL.init-host)) ## ) ## ## (#error.Success [state disk-write]) |