diff options
Diffstat (limited to 'stdlib/source/test/lux/meta/extension.lux')
-rw-r--r-- | stdlib/source/test/lux/meta/extension.lux | 30 |
1 files changed, 14 insertions, 16 deletions
diff --git a/stdlib/source/test/lux/meta/extension.lux b/stdlib/source/test/lux/meta/extension.lux index 3675c0d64..cdcf0879d 100644 --- a/stdlib/source/test/lux/meta/extension.lux +++ b/stdlib/source/test/lux/meta/extension.lux @@ -52,7 +52,6 @@ ["[0]" synthesis (.only) ["<[1]>" \\parser]] [phase - ["[0]" extension] [generation (.,, (.for "JVM" (.,, (.these ["[0]" jvm ["[1]/[0]" runtime]])) @@ -69,7 +68,7 @@ (these (for @.python ... TODO: Remove this hack once Jython is no longer being used as the Python interpreter. - (analysis ("dummy dum dum" self phase archive []) + (analysis ("dummy dum dum" phase archive []) (undefined)) (these)) @@ -77,18 +76,18 @@ ... Analysis (def my_analysis Analysis - (analysis (_ self phase archive [pass_through <code>.any]) + (analysis (_ phase archive [pass_through <code>.any]) (phase archive pass_through))) ... Synthesis (def my_synthesis|synthesis Synthesis - (synthesis (_ self phase archive [pass_through <analysis>.any]) + (synthesis (_ phase archive [pass_through <analysis>.any]) (phase archive pass_through))) (def my_synthesis Analysis - (analysis (_ self phase archive [parameters (<>.some <code>.any)]) + (analysis (_ phase archive [parameters (<>.some <code>.any)]) (let [! phase.monad] (|> parameters (monad.each ! (phase archive)) @@ -97,12 +96,12 @@ ... Generation (def my_generation|generation Generation - (generation (_ self phase archive [pass_through <synthesis>.any]) + (generation (_ phase archive [pass_through <synthesis>.any]) (phase archive pass_through))) (def my_generation|synthesis Synthesis - (synthesis (_ self phase archive [parameters (<>.some <analysis>.any)]) + (synthesis (_ phase archive [parameters (<>.some <analysis>.any)]) (let [! phase.monad] (|> parameters (monad.each ! (phase archive)) @@ -110,7 +109,7 @@ (def my_generation Analysis - (analysis (_ self phase archive [parameters (<>.some <code>.any)]) + (analysis (_ phase archive [parameters (<>.some <code>.any)]) (let [! phase.monad] (|> parameters (monad.each ! (phase archive)) @@ -118,7 +117,7 @@ (def dummy_generation|generation Generation - (generation (_ self phase archive []) + (generation (_ phase archive []) (let [[_ self] (symbol ..dummy_generation)] (at phase.monad in (for @.jvm (jvm.string self) @@ -131,27 +130,26 @@ (def dummy_generation|synthesis Synthesis - (synthesis (_ self phase archive []) + (synthesis (_ phase archive []) (at phase.monad in {synthesis.#Extension (symbol ..dummy_generation|generation) (list)}))) (def dummy_generation Analysis - (analysis (_ self phase archive []) + (analysis (_ phase archive []) (at phase.monad in {analysis.#Extension (symbol ..dummy_generation|synthesis) (list)}))) ... Declaration (def my_declaration Declaration - (declaration (_ self phase archive [expression <code>.any]) + (declaration (_ phase archive [expression <code>.any]) (do [! phase.monad] - [analysis_phase declaration.analysis + [.let [[_ self] (symbol ..my_declaration)] + analysis_phase declaration.analysis expressionA (<| declaration.lifted_analysis (type.expecting .Any) (analysis_phase archive expression)) - lux (<| declaration.lifted_analysis - extension.lifted - meta.compiler_state) + lux (declaration.lifted_analysis meta.compiler_state) synthesis_phase declaration.synthesis expressionS (declaration.lifted_synthesis |