diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/control/parser/type.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/control/parser/type.lux b/stdlib/source/test/lux/control/parser/type.lux index 7109f9b76..11f7b7796 100644 --- a/stdlib/source/test/lux/control/parser/type.lux +++ b/stdlib/source/test/lux/control/parser/type.lux @@ -214,17 +214,17 @@ [expected ..primitive] (all _.and (_.coverage [/.recursive] - (|> (.type (Rec @ expected)) + (|> (.type_literal (Rec @ expected)) (/.result (/.recursive /.any)) (!expect (^.multi {try.#Success [@self actual]} (type#= expected actual))))) (_.coverage [/.recursive_self] - (|> (.type (Rec @ @)) + (|> (.type_literal (Rec @ @)) (/.result (/.recursive /.recursive_self)) (!expect (^.multi {try.#Success [@expected @actual]} (same? @expected @actual))))) (_.coverage [/.recursive_call] - (|> (.type (All (self input) (self input))) + (|> (.type_literal (All (self input) (self input))) (/.result (/.polymorphic /.recursive_call)) (!expect {try.#Success [@self inputs ???]}))) (_.coverage [/.not_recursive] |