aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/tool/compiler/default/platform.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/tool/compiler/default/platform.lux')
-rw-r--r--stdlib/source/library/lux/tool/compiler/default/platform.lux108
1 files changed, 54 insertions, 54 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/default/platform.lux b/stdlib/source/library/lux/tool/compiler/default/platform.lux
index 53cb07e22..1ac28821f 100644
--- a/stdlib/source/library/lux/tool/compiler/default/platform.lux
+++ b/stdlib/source/library/lux/tool/compiler/default/platform.lux
@@ -97,7 +97,7 @@
(All [<type_vars>]
(-> Static <Platform> archive.ID [Descriptor (Document Any) Output]
(Async (Try Any))))
- (let [system (get@ #&file_system platform)
+ (let [system (value@ #&file_system platform)
write_artifact! (: (-> [artifact.ID (Maybe Text) Binary] (Action Any))
(function (_ [artifact_id custom content])
(ioW.write system static module_id artifact_id content)))]
@@ -129,7 +129,7 @@
(-> <Platform> (///generation.Operation <type_vars> [Registry Output])))
(do ///phase.monad
[_ ..initialize_buffer!]
- (get@ #runtime platform)))
+ (value@ #runtime platform)))
(def: (runtime_descriptor registry)
(-> Registry Descriptor)
@@ -198,7 +198,7 @@
(def: (phase_wrapper archive platform state)
(All [<type_vars>]
(-> Archive <Platform> <State+> (Try [<State+> Phase_Wrapper])))
- (let [phase_wrapper (get@ #phase_wrapper platform)]
+ (let [phase_wrapper (value@ #phase_wrapper platform)]
(|> archive
phase_wrapper
///directive.lifted_generation
@@ -236,15 +236,15 @@
Import (List Context)
(Async (Try [<State+> Archive]))))
(do {! (try.with async.monad)}
- [.let [state (//init.state (get@ #static.host static)
+ [.let [state (//init.state (value@ #static.host static)
module
expander
host_analysis
- (get@ #host platform)
- (get@ #phase platform)
+ (value@ #host platform)
+ (value@ #phase platform)
generation_bundle)]
- _ (ioW.enable (get@ #&file_system platform) static)
- [archive analysis_state bundles] (ioW.thaw (get@ #host platform) (get@ #&file_system platform) static import compilation_sources)
+ _ (ioW.enable (value@ #&file_system platform) static)
+ [archive analysis_state bundles] (ioW.thaw (value@ #host platform) (value@ #&file_system platform) static import compilation_sources)
.let [with_missing_extensions
(: (All [<type_vars>]
(-> <Platform> (Program expression directive) <State+> (Async (Try <State+>))))
@@ -276,11 +276,11 @@
(def: (module_compilation_log module)
(All [<type_vars>]
(-> Module <State+> Text))
- (|>> (get@ [#extension.state
- #///directive.generation
- #///directive.state
- #extension.state
- #///generation.log])
+ (|>> (value@ [#extension.state
+ #///directive.generation
+ #///directive.state
+ #extension.state
+ #///generation.log])
(row\fold (function (_ right left)
(format left ..compilation_log_separator right))
module)))
@@ -288,12 +288,12 @@
(def: with_reset_log
(All [<type_vars>]
(-> <State+> <State+>))
- (set@ [#extension.state
- #///directive.generation
- #///directive.state
- #extension.state
- #///generation.log]
- row.empty))
+ (with@ [#extension.state
+ #///directive.generation
+ #///directive.state
+ #extension.state
+ #///generation.log]
+ row.empty))
(def: empty
(Set Module)
@@ -320,8 +320,8 @@
lens
(dictionary.value module)
(maybe.else ..empty))))
- transitive_depends_on (transitive_dependency (get@ #depends_on) import)
- transitive_depended_by (transitive_dependency (get@ #depended_by) module)
+ transitive_depends_on (transitive_dependency (value@ #depends_on) import)
+ transitive_depended_by (transitive_dependency (value@ #depended_by) module)
update_dependence (: (-> [Module (Set Module)] [Module (Set Module)]
(-> Mapping Mapping))
(function (_ [source forward] [target backward])
@@ -335,14 +335,14 @@
with_dependence+transitives
(set.list backward))))))]
(|> dependence
- (update@ #depends_on
- (update_dependence
- [module transitive_depends_on]
- [import transitive_depended_by]))
- (update@ #depended_by
- ((function.flipped update_dependence)
- [module transitive_depends_on]
- [import transitive_depended_by])))))
+ (revised@ #depends_on
+ (update_dependence
+ [module transitive_depends_on]
+ [import transitive_depended_by]))
+ (revised@ #depended_by
+ ((function.flipped update_dependence)
+ [module transitive_depends_on]
+ [import transitive_depended_by])))))
(def: (circular_dependency? module import dependence)
(-> Module Module Dependence Bit)
@@ -353,8 +353,8 @@
(dictionary.value from)
(maybe.else ..empty))]
(set.member? targets to))))]
- (or (dependence? import (get@ #depends_on) module)
- (dependence? module (get@ #depended_by) import))))
+ (or (dependence? import (value@ #depends_on) module)
+ (dependence? module (value@ #depended_by) import))))
(exception: .public (module_cannot_import_itself {module Module})
(exception.report
@@ -499,21 +499,21 @@
.let [additions (|> modules
(list\map product.left)
(set.of_list text.hash))]]
- (in (update@ [#extension.state
- #///directive.analysis
- #///directive.state
- #extension.state]
- (function (_ analysis_state)
- (|> analysis_state
- (:as .Lux)
- (update@ #.modules (function (_ current)
- (list\compose (list.only (|>> product.left
- (set.member? additions)
- not)
- current)
- modules)))
- :expected))
- state))))
+ (in (revised@ [#extension.state
+ #///directive.analysis
+ #///directive.state
+ #extension.state]
+ (function (_ analysis_state)
+ (|> analysis_state
+ (:as .Lux)
+ (revised@ #.modules (function (_ current)
+ (list\compose (list.only (|>> product.left
+ (set.member? additions)
+ not)
+ current)
+ modules)))
+ :expected))
+ state))))
(def: (set_current_module module state)
(All [<type_vars>]
@@ -533,24 +533,24 @@
(///.Compiler <State+> .Module Any)
(:expected
- ((//init.compiler expander syntax.prelude (get@ #write platform)) $.key (list))))
+ ((//init.compiler expander syntax.prelude (value@ #write platform)) $.key (list))))
compiler (..parallel
context
(function (_ importer import! module_id [archive state] module)
(do {! (try.with async.monad)}
[.let [state (..set_current_module module state)]
- input (context.read (get@ #&file_system platform)
+ input (context.read (value@ #&file_system platform)
importer
import
compilation_sources
- (get@ #static.host_module_extension static)
+ (value@ #static.host_module_extension static)
module)]
(loop [[archive state] [archive state]
compilation (base_compiler (:as ///.Input input))
all_dependencies (: (Set Module)
(set.of_list text.hash (list)))]
(do !
- [.let [new_dependencies (get@ #///.dependencies compilation)
+ [.let [new_dependencies (value@ #///.dependencies compilation)
continue! (:sharing [<type_vars>]
<Platform>
platform
@@ -582,14 +582,14 @@
(do !
[archive,document+ (|> new_dependencies
(list\map (import! module))
- (monad.seq ..monad))
+ (monad.all ..monad))
.let [archive (|> archive,document+
(list\map product.left)
(list\fold archive.merged archive))]]
(in [archive (try.trusted
(..updated_state archive state))])))
(async\in (exception.except ..cannot_import_twice [module duplicates])))]
- (case ((get@ #///.process compilation)
+ (case ((value@ #///.process compilation)
... TODO: The "///directive.set_current_module" below shouldn't be necessary. Remove it ASAP.
... TODO: The context shouldn't need to be re-set either.
(|> (///directive.set_current_module module)
@@ -605,7 +605,7 @@
(#.Right [descriptor document output])
(do !
[.let [_ (debug.log! (..module_compilation_log module state))
- descriptor (set@ #descriptor.references all_dependencies descriptor)]
+ descriptor (with@ #descriptor.references all_dependencies descriptor)]
_ (..cache_module static platform module_id [descriptor document output])]
(case (archive.has module [descriptor document output] archive)
(#try.Success archive)
@@ -617,7 +617,7 @@
(#try.Failure error)
(do !
- [_ (ioW.freeze (get@ #&file_system platform) static archive)]
+ [_ (ioW.freeze (value@ #&file_system platform) static archive)]
(async\in (#try.Failure error)))))))))]
(compiler archive.runtime_module compilation_module)))
)))
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-01 04:56:38 +0000