diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/tool/compiler/default/init.lux | 122 |
1 files changed, 61 insertions, 61 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/default/init.lux b/stdlib/source/library/lux/tool/compiler/default/init.lux index e7c3bae01..8f32b5108 100644 --- a/stdlib/source/library/lux/tool/compiler/default/init.lux +++ b/stdlib/source/library/lux/tool/compiler/default/init.lux @@ -1,60 +1,60 @@ (.using - [library - [lux {"-" Module} - ["@" target {"+" Target}] - [abstract - ["[0]" monad {"+" do}]] - [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] - [data - [binary {"+" Binary}] - ["[0]" product] - ["[0]" text ("[1]#[0]" hash) - ["%" format {"+" format}]] - [collection - ["[0]" list ("[1]#[0]" functor)] - ["[0]" dictionary] - ["[0]" set] - ["[0]" sequence ("[1]#[0]" functor)]]] - ["[0]" meta] - [world - ["[0]" file]]]] - ["[0]" // "_" - ["/[1]" // {"+" Instancer} - ["[1][0]" phase] - [language - [lux - [program {"+" Program}] - ["[1][0]" version] - ["[1][0]" syntax {"+" Aliases}] - ["[1][0]" synthesis] - ["[1][0]" directive {"+" Requirements}] - ["[1][0]" generation] - ["[1][0]" analysis - [macro {"+" Expander}] - ["[1]/[0]" evaluation]] - [phase - ["[0]P" synthesis] - ["[0]P" directive] - ["[0]P" analysis - ["[0]" module]] - ["[0]" extension {"+" Extender} - ["[0]E" analysis] - ["[0]E" synthesis] - [directive - ["[0]D" lux]]]]]] - [meta - ["[0]" archive {"+" Archive} - ["[0]" descriptor {"+" Module}] - ["[0]" registry {"+" Registry}] - ["[0]" document]]]] - ]) + [library + [lux "*" + ["@" target {"+" Target}] + [abstract + ["[0]" monad {"+" do}]] + [control + ["[0]" try {"+" Try}] + ["[0]" exception {"+" exception:}]] + [data + [binary {"+" Binary}] + ["[0]" product] + ["[0]" text ("[1]#[0]" hash) + ["%" format {"+" format}]] + [collection + ["[0]" list ("[1]#[0]" functor)] + ["[0]" dictionary] + ["[0]" set] + ["[0]" sequence ("[1]#[0]" functor)]]] + ["[0]" meta] + [world + ["[0]" file]]]] + ["[0]" // "_" + ["/[1]" // {"+" Instancer} + ["[1][0]" phase] + [language + [lux + [program {"+" Program}] + ["[1][0]" version] + ["[1][0]" syntax {"+" Aliases}] + ["[1][0]" synthesis] + ["[1][0]" directive {"+" Requirements}] + ["[1][0]" generation] + ["[1][0]" analysis + [macro {"+" Expander}] + ["[1]/[0]" evaluation]] + [phase + ["[0]P" synthesis] + ["[0]P" directive] + ["[0]P" analysis + ["[0]" module]] + ["[0]" extension {"+" Extender} + ["[0]E" analysis] + ["[0]E" synthesis] + [directive + ["[0]D" lux]]]]]] + [meta + ["[0]" archive {"+" Archive} + ["[0]" descriptor] + ["[0]" registry {"+" Registry}] + ["[0]" document]]]] + ]) (def: .public (state target module expander host_analysis host generate generation_bundle) (All (_ anchor expression directive) (-> Target - Module + descriptor.Module Expander ///analysis.Bundle (///generation.Host expression directive) @@ -92,7 +92,7 @@ (-> Source (Either [Source Text] [Source Code]))) (def: (reader current_module aliases [location offset source_code]) - (-> Module Aliases Source (///analysis.Operation Reader)) + (-> descriptor.Module Aliases Source (///analysis.Operation Reader)) (function (_ [bundle state]) {try.#Success [[bundle state] (///syntax.parse current_module aliases ("lux text size" source_code))]})) @@ -120,7 +120,7 @@ Registry]) (def: (begin dependencies hash input) - (-> (List Module) Nat ///.Input + (-> (List descriptor.Module) Nat ///.Input (All (_ anchor expression directive) (///directive.Operation anchor expression directive [Source (Payload directive)]))) @@ -137,7 +137,7 @@ registry.empty]]))))) (def: (end module) - (-> Module + (-> descriptor.Module (All (_ anchor expression directive) (///directive.Operation anchor expression directive [.Module (Payload directive)]))) (do ///phase.monad @@ -200,7 +200,7 @@ (def: (iteration wrapper archive expander module source pre_payload aliases) (All (_ directive) - (-> ///phase.Wrapper Archive Expander Module Source (Payload directive) Aliases + (-> ///phase.Wrapper Archive Expander descriptor.Module Source (Payload directive) Aliases (All (_ anchor expression) (///directive.Operation anchor expression directive (Maybe [Source Requirements (Payload directive)]))))) @@ -218,7 +218,7 @@ (exception.with ///.cannot_compile module {try.#Failure error})))))) (def: (default_dependencies prelude input) - (-> Module ///.Input (List Module)) + (-> descriptor.Module ///.Input (List descriptor.Module)) (list& archive.runtime_module (if (text#= prelude (value@ ///.#module input)) (list) @@ -230,7 +230,7 @@ (def: .public (compiler wrapper expander prelude write_directive) (All (_ anchor expression directive) - (-> ///phase.Wrapper Expander Module (-> directive Binary) + (-> ///phase.Wrapper Expander descriptor.Module (-> directive Binary) (Instancer (///directive.State+ anchor expression directive) .Module))) (let [execute! (directiveP.phase wrapper expander)] (function (_ key parameters input) @@ -254,14 +254,14 @@ descriptor.#name module descriptor.#file (value@ ///.#file input) descriptor.#references (set.of_list text.hash dependencies) - descriptor.#state {.#Compiled} - descriptor.#registry final_registry]]] + descriptor.#state {.#Compiled}]]] (in [state {.#Right [descriptor (document.document key analysis_module) (sequence#each (function (_ [artifact_id custom directive]) [artifact_id custom (write_directive directive)]) - final_buffer)]}])) + final_buffer) + final_registry]}])) {.#Some [source requirements temporary_payload]} (let [[temporary_buffer temporary_registry] temporary_payload] |