diff options
Diffstat (limited to 'stdlib/source/specification')
| -rw-r--r-- | stdlib/source/specification/compositor.lux | 16 | ||||
| -rw-r--r-- | stdlib/source/specification/compositor/common.lux | 28 |
2 files changed, 22 insertions, 22 deletions
diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux index 7afe706c1..f6fb3f280 100644 --- a/stdlib/source/specification/compositor.lux +++ b/stdlib/source/specification/compositor.lux @@ -14,7 +14,7 @@ ["[0]" declaration] [phase [macro (.only Expander)] - [generation (.only Bundle)]] + [translation (.only Bundle)]] [default [platform (.only Platform)]]]] [test @@ -23,7 +23,7 @@ ["[1][0]" common (.only Runner Definer)] ["[1]./" analysis ["[1][0]" type]] - ["[1]./" generation + ["[1]./" translation ["[1][0]" primitive] ["[1][0]" structure] ["[1][0]" reference] @@ -35,12 +35,12 @@ (-> Runner Definer analysis.State Expander Test) (all _.and (/analysis/type.spec expander state) - (/generation/primitive.spec runner) - (/generation/structure.spec runner) - (/generation/reference.spec runner definer) - (/generation/when.spec runner) - (/generation/function.spec runner) - (/generation/common.spec runner) + (/translation/primitive.spec runner) + (/translation/structure.spec runner) + (/translation/reference.spec runner definer) + (/translation/when.spec runner) + (/translation/function.spec runner) + (/translation/common.spec runner) )) (def .public (spec platform bundle expander program) diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux index f72bb20bc..9b3f398f4 100644 --- a/stdlib/source/specification/compositor/common.lux +++ b/stdlib/source/specification/compositor/common.lux @@ -13,7 +13,7 @@ ["[0]" declaration] ["[0]" phase ["[0]" macro (.only Expander)] - ["[0]" generation (.only Operation)] + ["[0]" translation (.only Operation)] [extension (.only Extender) ["[0]" bundle]]] [default @@ -28,7 +28,7 @@ (type .public (Instancer what) (All (_ anchor expression declaration) (-> (Platform IO anchor expression declaration) - (generation.State anchor expression declaration) + (translation.State anchor expression declaration) what))) (def (runner (open "[0]") state) @@ -36,7 +36,7 @@ (function (_ evaluation_name expressionS) (do try.monad [expressionG (<| (phase.result state) - generation.with_buffer + translation.with_buffer (do phase.monad [_ runtime] (phase expressionS)))] @@ -47,34 +47,34 @@ (function (_ lux_name expressionS) (do try.monad [definitionG (<| (phase.result state) - generation.with_buffer + translation.with_buffer (do phase.monad [_ runtime expressionG (phase expressionS) - [host_name host_value host_declaration] (generation.define! lux_name expressionG) - _ (generation.learn lux_name host_name)] + [host_name host_value host_declaration] (translation.define! lux_name expressionG) + _ (translation.learn lux_name host_name)] (phase (synthesis.constant lux_name))))] (at host evaluate! "definer" definitionG)))) (def .public (executors target expander platform - analysis_bundle generation_bundle declaration_bundle + analysis_bundle translation_bundle declaration_bundle program extender) (All (_ anchor expression declaration) (-> Text Expander (Platform IO anchor expression declaration) analysis.Bundle - (generation.Bundle anchor expression declaration) + (translation.Bundle anchor expression declaration) (declaration.Bundle anchor expression declaration) (-> expression declaration) Extender (IO (Try [(declaration.State anchor expression declaration) Runner Definer])))) (do io.monad - [?state (platform.initialize target expander analysis_bundle platform generation_bundle declaration_bundle program extender)] + [?state (platform.initialize target expander analysis_bundle platform translation_bundle declaration_bundle program extender)] (in (do try.monad [[declaration_bundle declaration_state] ?state - .let [generation_state (the [declaration.#generation - declaration.#state] - declaration_state)]] + .let [translation_state (the [declaration.#translation + declaration.#state] + declaration_state)]] (in [[declaration_bundle declaration_state] - (..runner platform generation_state) - (..definer platform generation_state)]))))) + (..runner platform translation_state) + (..definer platform translation_state)]))))) |