diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/meta/compiler/default/init.lux | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/stdlib/source/library/lux/meta/compiler/default/init.lux b/stdlib/source/library/lux/meta/compiler/default/init.lux index 7cf349a43..128e66ae2 100644 --- a/stdlib/source/library/lux/meta/compiler/default/init.lux +++ b/stdlib/source/library/lux/meta/compiler/default/init.lux @@ -53,29 +53,31 @@ ["[0]" descriptor] ["[0]" document]]]]]]) -(def .public (state target module configuration expander host_analysis host generate generation_bundle) +(def .public (state target module configuration extender expander anchor,expression,declaration host_analysis host generate generation_bundle) (All (_ anchor expression declaration) (-> Target descriptor.Module Configuration - Expander + Extender Expander + [Type Type Type] ///analysis.Bundle (///generation.Host expression declaration) - (///generation.Phase anchor expression declaration) + (-> Extender Lux (///generation.Phase anchor expression declaration)) (///generation.Bundle anchor expression declaration) (///declaration.State+ anchor expression declaration))) (let [synthesis_state [synthesisE.bundle ///synthesis.init] generation_state [generation_bundle (///generation.state host module)] - eval (///analysis/evaluation.evaluator expander synthesis_state generation_state generate) - analysis_state [(analysisE.bundle eval host_analysis) - (///analysis.state (///analysis.info version.latest target configuration))]] + lux (///analysis.state (///analysis.info version.latest target configuration)) + eval (///analysis/evaluation.evaluator expander synthesis_state generation_state (generate extender lux)) + analysis_state [(analysisE.bundle eval anchor,expression,declaration host_analysis) + lux]] [extension.empty [///declaration.#analysis [///declaration.#state analysis_state ///declaration.#phase (analysisP.phase expander)] ///declaration.#synthesis [///declaration.#state synthesis_state ///declaration.#phase synthesisP.phase] ///declaration.#generation [///declaration.#state generation_state - ///declaration.#phase generate]]])) + ///declaration.#phase (generate extender)]]])) (def .public (with_default_declarations expander host_analysis program anchorT,expressionT,declarationT extender) (All (_ anchor expression declaration) |