diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/tool/compiler/phase/extension/statement/lux.lux | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/stdlib/source/lux/tool/compiler/phase/extension/statement/lux.lux b/stdlib/source/lux/tool/compiler/phase/extension/statement/lux.lux index 0ae210fa5..af49f8ee1 100644 --- a/stdlib/source/lux/tool/compiler/phase/extension/statement/lux.lux +++ b/stdlib/source/lux/tool/compiler/phase/extension/statement/lux.lux @@ -127,9 +127,9 @@ (synthesize codeA))] (definition' generate name code//type codeS))) -(def: (refresh expander) +(def: (refresh expander host-analysis) (All [anchor expression statement] - (-> Expander (Operation anchor expression statement Any))) + (-> Expander /////analysis.Bundle (Operation anchor expression statement Any))) (do ////.monad [[bundle state] ////.get-state #let [eval (/////evaluation.evaluator expander @@ -140,11 +140,11 @@ (update@ [#/////statement.analysis #/////statement.state] (: (-> /////analysis.State+ /////analysis.State+) (|>> product.right - [(///analysis.bundle eval)])) + [(///analysis.bundle eval host-analysis)])) state)]))) -(def: (lux::def expander) - (-> Expander Handler) +(def: (lux::def expander host-analysis) + (-> Expander /////analysis.Bundle Handler) (function (_ extension-name phase inputsC+) (case inputsC+ (^ (list [_ (#.Identifier ["" short-name])] valueC annotationsC [_ (#.Bit exported?)])) @@ -160,14 +160,14 @@ #let [_ (log! (format "Definition " (%name full-name)))] _ (/////statement.lift-generation (////generation.learn full-name valueN)) - _ (..refresh expander)] + _ (..refresh expander host-analysis)] (wrap /////statement.no-requirements)) _ (////.throw ///.invalid-syntax [extension-name %code inputsC+])))) -(def: (def::type-tagged expander) - (-> Expander Handler) +(def: (def::type-tagged expander host-analysis) + (-> Expander /////analysis.Bundle Handler) (..custom [($_ p.and s.local-identifier s.any s.any (s.tuple (p.some s.text)) s.bit) (function (_ extension-name phase [short-name valueC annotationsC tags exported?]) @@ -185,7 +185,7 @@ #let [_ (log! (format "Definition " (%name full-name)))] _ (/////statement.lift-generation (////generation.learn full-name valueN)) - _ (..refresh expander)] + _ (..refresh expander host-analysis)] (wrap /////statement.no-requirements)))])) (def: imports @@ -323,14 +323,14 @@ _ (////.throw ///.invalid-syntax [extension-name %code inputsC+])))) -(def: (bundle::def expander program) +(def: (bundle::def expander host-analysis program) (All [anchor expression statement] - (-> Expander (-> expression statement) (Bundle anchor expression statement))) + (-> Expander /////analysis.Bundle (-> expression statement) (Bundle anchor expression statement))) (<| (///bundle.prefix "def") (|> ///bundle.empty (dictionary.put "module" def::module) (dictionary.put "alias" def::alias) - (dictionary.put "type tagged" (def::type-tagged expander)) + (dictionary.put "type tagged" (def::type-tagged expander host-analysis)) (dictionary.put "analysis" def::analysis) (dictionary.put "synthesis" def::synthesis) (dictionary.put "generation" def::generation) @@ -338,10 +338,10 @@ (dictionary.put "program" (def::program program)) ))) -(def: #export (bundle expander program) +(def: #export (bundle expander host-analysis program) (All [anchor expression statement] - (-> Expander (-> expression statement) (Bundle anchor expression statement))) + (-> Expander /////analysis.Bundle (-> expression statement) (Bundle anchor expression statement))) (<| (///bundle.prefix "lux") (|> ///bundle.empty - (dictionary.put "def" (lux::def expander)) - (dictionary.merge (..bundle::def expander program))))) + (dictionary.put "def" (lux::def expander host-analysis)) + (dictionary.merge (..bundle::def expander host-analysis program))))) |