diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/test/test/lux/compiler/default/phase/analysis/reference.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/test/test/lux/compiler/default/phase/analysis/reference.lux b/stdlib/test/test/lux/compiler/default/phase/analysis/reference.lux index b24d74e1e..18ab58fa9 100644 --- a/stdlib/test/test/lux/compiler/default/phase/analysis/reference.lux +++ b/stdlib/test/test/lux/compiler/default/phase/analysis/reference.lux @@ -5,11 +5,11 @@ pipe] [data ["." error (#+ Error)] - [name ("name/." Equivalence<Name>)] - [text ("text/." Equivalence<Text>)]] + [name ("name/." equivalence)] + [text ("text/." equivalence)]] [math ["r" random]] - [type ("type/." Equivalence<Type>)] + [type ("type/." equivalence)] [macro ["." code]] [compiler @@ -45,7 +45,7 @@ (def: (reach-test var-name [export? def-module] [import? dependent-module] check!) (-> Text [Bit Text] [Bit Text] Check Bit) - (|> (do phase.Monad<Operation> + (|> (do phase.monad [_ (module.with-module 0 def-module (module.define var-name [Any (if export? @@ -86,7 +86,7 @@ #0))) (test "Can analyse definition (in the same module)." (let [def-name [def-module var-name]] - (|> (do phase.Monad<Operation> + (|> (do phase.monad [_ (module.define var-name [expectedT (' {}) []])] (typeA.with-inference (_primitive.phase (code.identifier def-name)))) |