aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/tool/compiler/default
diff options
context:
space:
mode:
authorEduardo Julian2019-03-13 19:31:53 -0400
committerEduardo Julian2019-03-13 19:31:53 -0400
commitd5e630c8f1db51cb493ad683f06ca9e2dd521478 (patch)
tree8354effc4129701d2d3f717ca0278d9b60363d9d /stdlib/source/lux/tool/compiler/default
parent64e7676f2f4e495d64bc38a501475ccbf2b5e810 (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.lux14
-rw-r--r--stdlib/source/lux/tool/compiler/default/init.lux22
-rw-r--r--stdlib/source/lux/tool/compiler/default/platform.lux18
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])