diff options
Diffstat (limited to 'stdlib/source/specification/compositor/common.lux')
| -rw-r--r-- | stdlib/source/specification/compositor/common.lux | 28 |
1 files changed, 14 insertions, 14 deletions
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)]))))) |