aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/meta/extension.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/meta/extension.lux')
-rw-r--r--stdlib/source/test/lux/meta/extension.lux30
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