aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/tool/compiler/default/init.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-06-16 00:48:19 -0400
committerEduardo Julian2022-06-16 00:48:19 -0400
commit9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 (patch)
tree115fab5bd8a5f53dc0d13ce5453095324a83496f /stdlib/source/library/lux/tool/compiler/default/init.lux
parentf92c806ee8da63f04bbefbf558f6249bacdb47ea (diff)
De-sigil-ification: suffix : [Part 13]
Diffstat (limited to 'stdlib/source/library/lux/tool/compiler/default/init.lux')
-rw-r--r--stdlib/source/library/lux/tool/compiler/default/init.lux26
1 files changed, 13 insertions, 13 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/default/init.lux b/stdlib/source/library/lux/tool/compiler/default/init.lux
index 2f4f943f9..8ad59fc2e 100644
--- a/stdlib/source/library/lux/tool/compiler/default/init.lux
+++ b/stdlib/source/library/lux/tool/compiler/default/init.lux
@@ -53,7 +53,7 @@
["[0]" descriptor]
["[0]" document]]]]]])
-(def: .public (state target module configuration expander host_analysis host generate generation_bundle)
+(def .public (state target module configuration expander host_analysis host generate generation_bundle)
(All (_ anchor expression directive)
(-> Target
descriptor.Module
@@ -77,7 +77,7 @@
///directive.#generation [///directive.#state generation_state
///directive.#phase generate]]]))
-(def: .public (with_default_directives expander host_analysis program anchorT,expressionT,directiveT extender)
+(def .public (with_default_directives expander host_analysis program anchorT,expressionT,directiveT extender)
(All (_ anchor expression directive)
(-> Expander
///analysis.Bundle
@@ -94,13 +94,13 @@
(type: Reader
(-> Source (Either [Source Text] [Source Code])))
-(def: (reader current_module aliases [location offset source_code])
+(def (reader current_module aliases [location offset source_code])
(-> descriptor.Module Aliases Source (///analysis.Operation Reader))
(function (_ [bundle state])
{try.#Success [[bundle state]
(///syntax.parse current_module aliases ("lux text size" source_code))]}))
-(def: (read source reader)
+(def (read source reader)
(-> Source Reader (///analysis.Operation [Source Code]))
(function (_ [bundle compiler])
(case (reader source)
@@ -122,7 +122,7 @@
[(///generation.Buffer directive)
Registry])
-(def: (begin dependencies hash input)
+(def (begin dependencies hash input)
(-> (List descriptor.Module) Nat ///.Input
(All (_ anchor expression directive)
(///directive.Operation anchor expression directive
@@ -139,7 +139,7 @@
(in [source [///generation.empty_buffer
registry.empty]])))))
-(def: (end module)
+(def (end module)
(-> descriptor.Module
(All (_ anchor expression directive)
(///directive.Operation anchor expression directive [.Module (Payload directive)])))
@@ -158,7 +158,7 @@
final_registry]])))
... TODO: Inline ASAP
-(def: (get_current_payload _)
+(def (get_current_payload _)
(All (_ directive)
(-> (Payload directive)
(All (_ anchor expression)
@@ -172,7 +172,7 @@
(in [buffer registry])))
... TODO: Inline ASAP
-(def: (process_directive wrapper archive expander pre_payoad code)
+(def (process_directive wrapper archive expander pre_payoad code)
(All (_ directive)
(-> ///phase.Wrapper Archive Expander (Payload directive) Code
(All (_ anchor expression)
@@ -189,7 +189,7 @@
post_payload (..get_current_payload pre_payoad)]
(in [requirements post_payload])))
-(def: (iteration' wrapper archive expander reader source pre_payload)
+(def (iteration' wrapper archive expander reader source pre_payload)
(All (_ directive)
(-> ///phase.Wrapper Archive Expander Reader Source (Payload directive)
(All (_ anchor expression)
@@ -201,7 +201,7 @@
[requirements post_payload] (process_directive wrapper archive expander pre_payload code)]
(in [source requirements post_payload])))
-(def: (iteration wrapper archive expander module source pre_payload aliases)
+(def (iteration wrapper archive expander module source pre_payload aliases)
(All (_ directive)
(-> ///phase.Wrapper Archive Expander descriptor.Module Source (Payload directive) Aliases
(All (_ anchor expression)
@@ -220,18 +220,18 @@
{try.#Success [state {.#None}]}
(exception.with ///.cannot_compile module {try.#Failure error}))))))
-(def: (default_dependencies prelude input)
+(def (default_dependencies prelude input)
(-> descriptor.Module ///.Input (List descriptor.Module))
(list.partial descriptor.runtime
(if (text#= prelude (the ///.#module input))
(list)
(list prelude))))
-(def: module_aliases
+(def module_aliases
(-> .Module Aliases)
(|>> (the .#module_aliases) (dictionary.of_list text.hash)))
-(def: .public (compiler wrapper expander prelude write_directive)
+(def .public (compiler wrapper expander prelude write_directive)
(All (_ anchor expression directive)
(-> ///phase.Wrapper Expander descriptor.Module (-> directive Binary)
(Instancer (///directive.State+ anchor expression directive) .Module)))