aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/tool/compiler/default/init.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/tool/compiler/default/init.lux')
-rw-r--r--stdlib/source/library/lux/tool/compiler/default/init.lux22
1 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/default/init.lux b/stdlib/source/library/lux/tool/compiler/default/init.lux
index 7f815abf9..48a1fb475 100644
--- a/stdlib/source/library/lux/tool/compiler/default/init.lux
+++ b/stdlib/source/library/lux/tool/compiler/default/init.lux
@@ -110,8 +110,8 @@
{.#Right [source' output]}
(let [[location _] output]
{try.#Success [[bundle (|> compiler
- (with@ .#source source')
- (with@ .#location location))]
+ (has .#source source')
+ (has .#location location))]
[source' output]]}))))
(type: (Operation a)
@@ -128,13 +128,13 @@
(///directive.Operation anchor expression directive
[Source (Payload directive)])))
(do ///phase.monad
- [.let [module (value@ ///.#module input)]
+ [.let [module (the ///.#module input)]
_ (///directive.set_current_module module)]
(///directive.lifted_analysis
(do [! ///phase.monad]
[_ (moduleA.create hash module)
_ (monad.each ! moduleA.import dependencies)
- .let [source (///analysis.source (value@ ///.#module input) (value@ ///.#code input))]
+ .let [source (///analysis.source (the ///.#module input) (the ///.#code input))]
_ (///analysis.set_source_code source)]
(in [source [///generation.empty_buffer
registry.empty]])))))
@@ -223,13 +223,13 @@
(def: (default_dependencies prelude input)
(-> descriptor.Module ///.Input (List descriptor.Module))
(list& descriptor.runtime
- (if (text#= prelude (value@ ///.#module input))
+ (if (text#= prelude (the ///.#module input))
(list)
(list prelude))))
(def: module_aliases
(-> .Module Aliases)
- (|>> (value@ .#module_aliases) (dictionary.of_list text.hash)))
+ (|>> (the .#module_aliases) (dictionary.of_list text.hash)))
(def: .public (compiler wrapper expander prelude write_directive)
(All (_ anchor expression directive)
@@ -241,10 +241,10 @@
[///.#dependencies dependencies
///.#process (function (_ state archive)
(do [! try.monad]
- [.let [hash (text#hash (value@ ///.#code input))]
+ [.let [hash (text#hash (the ///.#code input))]
[state [source buffer]] (<| (///phase.result' state)
(..begin dependencies hash input))
- .let [module (value@ ///.#module input)]]
+ .let [module (the ///.#module input)]]
(loop [iteration (<| (///phase.result' state)
(..iteration wrapper archive expander module source buffer ///syntax.no_aliases))]
(do !
@@ -255,7 +255,7 @@
[[state [analysis_module [final_buffer final_registry]]] (///phase.result' state (..end module))
.let [descriptor [descriptor.#hash hash
descriptor.#name module
- descriptor.#file (value@ ///.#file input)
+ descriptor.#file (the ///.#file input)
descriptor.#references (set.of_list text.hash dependencies)
descriptor.#state {.#Compiled}]]]
(in [state
@@ -271,7 +271,7 @@
(let [[temporary_buffer temporary_registry] temporary_payload]
(in [state
{.#Left [///.#dependencies (|> requirements
- (value@ ///directive.#imports)
+ (the ///directive.#imports)
(list#each product.left))
///.#process (function (_ state archive)
(again (<| (///phase.result' state)
@@ -285,7 +285,7 @@
_ (///directive.lifted_generation
(///generation.set_registry temporary_registry))
_ (|> requirements
- (value@ ///directive.#referrals)
+ (the ///directive.#referrals)
(monad.each ! (execute! archive)))
temporary_payload (..get_current_payload temporary_payload)]
(..iteration wrapper archive expander module source temporary_payload (..module_aliases analysis_module))))))]}]))