diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/tool/compiler/default/platform.lux | 56 |
1 files changed, 29 insertions, 27 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/default/platform.lux b/stdlib/source/library/lux/tool/compiler/default/platform.lux index 1894359a9..16571b165 100644 --- a/stdlib/source/library/lux/tool/compiler/default/platform.lux +++ b/stdlib/source/library/lux/tool/compiler/default/platform.lux @@ -65,12 +65,13 @@ (with_expansions [<type_vars> (as_is anchor expression directive) <Operation> (as_is ///generation.Operation <type_vars>)] (type: .public (Platform <type_vars>) - {#&file_system (file.System Async) - #host (///generation.Host expression directive) - #phase (///generation.Phase <type_vars>) - #runtime (<Operation> [Registry Output]) - #phase_wrapper (-> Archive (<Operation> ///phase.Wrapper)) - #write (-> directive Binary)}) + (Record + {#&file_system (file.System Async) + #host (///generation.Host expression directive) + #phase (///generation.Phase <type_vars>) + #runtime (<Operation> [Registry Output]) + #phase_wrapper (-> Archive (<Operation> ///phase.Wrapper)) + #write (-> directive Binary)})) ... TODO: Get rid of this (type: (Action a) @@ -103,11 +104,11 @@ _ (for {@.python (|> output row.list (list.sub 128) - (monad.map ! (monad.map ! write_artifact!)) + (monad.each ! (monad.each ! write_artifact!)) (: (Action (List (List Any)))))} (|> output row.list - (monad.map ..monad write_artifact!) + (monad.each ..monad write_artifact!) (: (Action (List Any))))) document (\ async.monad in (document.check $.key document))] @@ -190,7 +191,7 @@ _ (extension.with extender (:expected directives))] (in []))) (///phase.result' state) - (\ try.monad map product.left))) + (\ try.monad each product.left))) (def: (phase_wrapper archive platform state) (All [<type_vars>] @@ -254,8 +255,8 @@ (initialize_state (extender phase_wrapper) (:expected (..complete_extensions host_directive_bundle phase_wrapper (:expected bundles))) analysis_state) - (try\map (|>> (//init.with_default_directives expander host_analysis program anchorT,expressionT,directiveT (extender phase_wrapper)) - [phase_wrapper])))))))]] + (try\each (|>> (//init.with_default_directives expander host_analysis program anchorT,expressionT,directiveT (extender phase_wrapper)) + [phase_wrapper])))))))]] (if (archive.archived? archive archive.runtime_module) (do ! [[phase_wrapper state] (with_missing_extensions platform program state)] @@ -302,8 +303,9 @@ (Dictionary Module (Set Module))) (type: Dependence - {#depends_on Mapping - #depended_by Mapping}) + (Record + {#depends_on Mapping + #depended_by Mapping})) (def: independence Dependence @@ -489,14 +491,14 @@ (All [<type_vars>] (-> Archive <State+> (Try <State+>))) (do {! try.monad} - [modules (monad.map ! (function (_ module) - (do ! - [[descriptor document output] (archive.find module archive) - lux_module (document.read $.key document)] - (in [module lux_module]))) - (archive.archived archive)) + [modules (monad.each ! (function (_ module) + (do ! + [[descriptor document output] (archive.find module archive) + lux_module (document.read $.key document)] + (in [module lux_module]))) + (archive.archived archive)) .let [additions (|> modules - (list\map product.left) + (list\each product.left) (set.of_list text.hash))]] (in (revised@ [#extension.state #///directive.analysis @@ -506,11 +508,11 @@ (|> analysis_state (:as .Lux) (revised@ #.modules (function (_ current) - (list\compose (list.only (|>> product.left - (set.member? additions) - not) - current) - modules))) + (list\composite (list.only (|>> product.left + (set.member? additions) + not) + current) + modules))) :expected)) state)))) @@ -580,10 +582,10 @@ (#.Item _) (do ! [archive,document+ (|> new_dependencies - (list\map (import! module)) + (list\each (import! module)) (monad.all ..monad)) .let [archive (|> archive,document+ - (list\map product.left) + (list\each product.left) (list\mix archive.merged archive))]] (in [archive (try.trusted (..updated_state archive state))]))) |