aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/meta/compiler/default/platform.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/meta/compiler/default/platform.lux22
1 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/library/lux/meta/compiler/default/platform.lux b/stdlib/source/library/lux/meta/compiler/default/platform.lux
index 9b11c3348..732b86614 100644
--- a/stdlib/source/library/lux/meta/compiler/default/platform.lux
+++ b/stdlib/source/library/lux/meta/compiler/default/platform.lux
@@ -45,12 +45,12 @@
["[0]" syntax]
["[1][0]" synthesis]
["[1][0]" generation (.only Buffer)]
- ["[1][0]" declaration]
+ ["[1][0]" declaration (.only Extender)]
["[1][0]" analysis (.only)
[macro (.only Expander)]
["[0]A" module]]
[phase
- ["[0]" extension (.only Extender)]]]]
+ ["[0]" extension]]]]
[meta
[import (.only Import)]
["[0]" context]
@@ -78,7 +78,7 @@
(Record
[#file_system (file.System Async)
#host (///generation.Host expression declaration)
- #phase (-> Extender Lux (///generation.Phase <type_vars>))
+ #phase (-> extension.Extender Lux (///generation.Phase <type_vars>))
#runtime (<Operation> [Registry Output])
#phase_wrapper ///phase.Wrapper
#write (-> declaration Binary)]))
@@ -197,7 +197,7 @@
analysis_state
state)
(All (_ <type_vars>)
- (-> Extender
+ (-> extension.Extender
[(Dictionary Text ///analysis.Handler)
(Dictionary Text ///synthesis.Handler)
(Dictionary Text (///generation.Handler <type_vars>))
@@ -250,7 +250,7 @@
<Bundle>
(///declaration.Bundle <type_vars>)
(Program expression declaration)
- [Type Type Type] Extender
+ [Type Type Type] extension.Extender
Import (List _io.Context) Configuration
(Async (Try [<State+> Archive ///phase.Wrapper]))))
(do [! ..monad]
@@ -695,12 +695,12 @@
product.left)
archive))
- (def (compiler program global phase_wrapper expander platform program_module program_definition)
+ (def (compiler program global phase_wrapper extender expander platform program_module program_definition)
(All (_ <type_vars>)
(-> (Program expression declaration) (-> Archive Symbol (///generation.Operation <type_vars> expression))
- ///phase.Wrapper Expander <Platform> Text (Maybe Module)
+ ///phase.Wrapper (Extender <type_vars>) Expander <Platform> Text (Maybe Module)
(///.Compiler <State+> .Module Any)))
- (let [instancer (//init.compiler program global phase_wrapper expander syntax.prelude (the #write platform) program_module program_definition)]
+ (let [instancer (//init.compiler program global phase_wrapper extender expander syntax.prelude (the #write platform) program_module program_definition)]
(instancer $.key (list))))
(def (custom_compiler import context platform compilation_sources configuration
@@ -871,13 +871,13 @@
{try.#Success [context (the compiler.#parameters it) /#value]}
(exception.except ..invalid_custom_compiler [/#definition /#type]))))))
- (def .public (compile program global lux_compiler phase_wrapper import file_context expander platform compilation context)
+ (def .public (compile program global lux_compiler phase_wrapper import file_context extender expander platform compilation context)
(All (_ <type_vars>)
(-> (Program expression declaration) (-> Archive Symbol (///generation.Operation <type_vars> expression))
- (-> Any ..Custom) ///phase.Wrapper Import context.Context Expander <Platform> Compilation Lux_Context
+ (-> Any ..Custom) ///phase.Wrapper Import context.Context (Extender <type_vars>) Expander <Platform> Compilation Lux_Context
Lux_Return))
(let [[host_dependencies libraries compilers sources target program_module program_definition configuration] compilation
- import! (|> (..compiler program global phase_wrapper expander platform program_module program_definition)
+ import! (|> (..compiler program global phase_wrapper extender expander platform program_module program_definition)
(serial_compiler import file_context platform sources configuration)
(..parallel context))]
(do [! ..monad]