diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/meta/extension.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/test/lux/meta/extension.lux b/stdlib/source/test/lux/meta/extension.lux index 8d1befa13..e55c0a7f5 100644 --- a/stdlib/source/test/lux/meta/extension.lux +++ b/stdlib/source/test/lux/meta/extension.lux @@ -88,10 +88,10 @@ (let [! phase.monad] (|> parameters (monad.each ! (phase archive)) - (of ! each (|>> (is (List analysis.Analysis)) + (of ! each (|>> (is (List analysis.Term)) {analysis.#Extension (symbol ..my_synthesis|synthesis)} [location.dummy] - (is analysis.Analysis))))))) + (is analysis.Term))))))) ... Translation (def my_translation|translation @@ -107,7 +107,7 @@ (monad.each ! (phase archive)) (of ! each (|>> {synthesis.#Extension (symbol ..my_translation|translation)} [location.dummy] - (is synthesis.Synthesis))))))) + (is synthesis.Term))))))) (def my_translation Analysis @@ -115,10 +115,10 @@ (let [! phase.monad] (|> parameters (monad.each ! (phase archive)) - (of ! each (|>> (is (List analysis.Analysis)) + (of ! each (|>> (is (List analysis.Term)) {analysis.#Extension (symbol ..my_translation|synthesis)} [location.dummy] - (is analysis.Analysis))))))) + (is analysis.Term))))))) (def dummy_translation|translation Translation @@ -136,13 +136,13 @@ (def dummy_translation|synthesis Synthesis (synthesis (_ phase archive []) - (of phase.monad in (is synthesis.Synthesis + (of phase.monad in (is synthesis.Term [location.dummy {synthesis.#Extension (symbol ..dummy_translation|translation) (list)}])))) (def dummy_translation Analysis (analysis (_ phase archive []) - (of phase.monad in (is analysis.Analysis + (of phase.monad in (is analysis.Term [location.dummy {analysis.#Extension (symbol ..dummy_translation|synthesis) (list)}])))) ... Declaration |