diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/meta/compiler/default/init.lux | 42 |
1 files changed, 21 insertions, 21 deletions
diff --git a/stdlib/source/library/lux/meta/compiler/default/init.lux b/stdlib/source/library/lux/meta/compiler/default/init.lux index 2999dad49..d4c342829 100644 --- a/stdlib/source/library/lux/meta/compiler/default/init.lux +++ b/stdlib/source/library/lux/meta/compiler/default/init.lux @@ -107,7 +107,7 @@ dictionary.entries (monad.each ! (function (_ [name handler]) - (///declaration.lifted_analysis + (///declaration.of_analysis (moduleA.override_definition [.prelude name] [true {.#Default [.Analysis handler]}])))))] (in []))) @@ -119,7 +119,7 @@ dictionary.entries (monad.each ! (function (_ [name handler]) - (///declaration.lifted_analysis + (///declaration.of_analysis (moduleA.override_definition [.prelude name] [true {.#Default [.Synthesis handler]}])))))] (in []))) @@ -132,7 +132,7 @@ dictionary.entries (monad.each ! (function (_ [name handler]) - (///declaration.lifted_analysis + (///declaration.of_analysis (moduleA.override_definition [.prelude name] [true {.#Default [.Translation handler]}])))))] (in []))) @@ -146,7 +146,7 @@ (monad.each ! (function (_ [name handler]) (do ! - [_ (///declaration.lifted_analysis + [_ (///declaration.of_analysis (moduleA.override_definition [.prelude name] [true {.#Default [.Declaration handler]}]))] (in [])))))] (in []))) @@ -183,10 +183,10 @@ (do ///phase.monad [.let [module (the ///.#module input)] _ (///declaration.set_current_module module) - _ (///declaration.lifted_analysis + _ (///declaration.of_analysis (moduleA.create hash module)) _ (with_defaults module all_extensions)] - (///declaration.lifted_analysis + (///declaration.of_analysis (do [! ///phase.monad] [_ (monad.each ! moduleA.import dependencies) .let [source (///analysis.source (the ///.#module input) (the ///.#code input))] @@ -199,14 +199,14 @@ (All (_ anchor expression declaration) (///declaration.Operation anchor expression declaration [.Module (Payload declaration)]))) (do ///phase.monad - [_ (///declaration.lifted_analysis + [_ (///declaration.of_analysis (moduleA.set_compiled module)) analysis_module (<| (is (Operation .Module)) - ///declaration.lifted_analysis + ///declaration.of_analysis meta.current_module) - final_buffer (///declaration.lifted_translation + final_buffer (///declaration.of_translation ///translation.buffer) - final_registry (///declaration.lifted_translation + final_registry (///declaration.of_translation ///translation.get_registry)] (in [analysis_module [final_buffer final_registry]]))) @@ -218,9 +218,9 @@ (///declaration.Operation anchor expression declaration (Payload declaration)))) (do ///phase.monad - [buffer (///declaration.lifted_translation + [buffer (///declaration.of_translation ///translation.buffer) - registry (///declaration.lifted_translation + registry (///declaration.of_translation ///translation.get_registry)] (in [buffer registry]))) @@ -232,9 +232,9 @@ [Requirements (Payload declaration)]))) (do ///phase.monad [.let [[pre_buffer pre_registry] pre_payoad] - _ (///declaration.lifted_translation + _ (///declaration.of_translation (///translation.set_buffer pre_buffer)) - _ (///declaration.lifted_translation + _ (///declaration.of_translation (///translation.set_registry pre_registry)) requirements (let [execute! (declarationP.phase wrapper extender expander)] (execute! archive code)) @@ -247,7 +247,7 @@ (///declaration.Operation anchor expression declaration [Source Requirements (Payload declaration)]))) (do ///phase.monad - [[source code] (///declaration.lifted_analysis + [[source code] (///declaration.of_analysis (..read source reader)) [requirements post_payload] (process_declaration wrapper archive extender expander pre_payload code)] (in [source requirements post_payload]))) @@ -258,7 +258,7 @@ (///declaration.Operation anchor expression declaration (Maybe [Source Requirements (Payload declaration)])))) (do ///phase.monad - [reader (///declaration.lifted_analysis + [reader (///declaration.of_analysis (..reader module aliases source))] (function (_ state) (when (///phase.result' state (..iteration' wrapper archive extender expander reader source pre_payload)) @@ -293,7 +293,7 @@ @self (///translation.learn [///program.name {.#None}] true (set.has @program (set.empty unit.hash))) |program| (global archive [program_module program_definition]) - @module (///phase.lifted (archive.id program_module archive))] + @module (///phase.of_try (archive.id program_module archive))] (///translation.save! @self {.#None} (program [@module @self] |program|)))) (def .public (compiler program global wrapper extender expander prelude write_declaration program_module program_definition @@ -327,7 +327,7 @@ [_ (if (text#= program_module module) (when program_definition {.#Some program_definition} - (///declaration.lifted_translation + (///declaration.of_translation (define_program! archive program global program_module program_definition)) {.#None} @@ -358,11 +358,11 @@ (again (<| (///phase.result' state) (do [! ///phase.monad] [analysis_module (<| (is (Operation .Module)) - ///declaration.lifted_analysis + ///declaration.of_analysis meta.current_module) - _ (///declaration.lifted_translation + _ (///declaration.of_translation (///translation.set_buffer temporary_buffer)) - _ (///declaration.lifted_translation + _ (///declaration.of_translation (///translation.set_registry temporary_registry)) _ (|> requirements (the ///declaration.#referrals) |