diff options
author | Eduardo Julian | 2017-06-26 19:34:58 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-06-26 19:34:58 -0400 |
commit | 821b60d969dfda0302aba7aea8a93bfed2fa628d (patch) | |
tree | d3a46f3bd6e448e9ef83323287f75dc120a83306 /stdlib/test | |
parent | b97060bb7778a7ce01ac72948f3cd9bcef5d7ec9 (diff) |
- Miscellaneous refactoring.
Diffstat (limited to '')
-rw-r--r-- | stdlib/test/test/lux/type.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/test/test/lux/type.lux b/stdlib/test/test/lux/type.lux index a4c1019f3..3896d6fcc 100644 --- a/stdlib/test/test/lux/type.lux +++ b/stdlib/test/test/lux/type.lux @@ -53,10 +53,10 @@ (test "Can apply quantified types (universal and existential quantification)." (and (default false (do Monad<Maybe> - [partial (&;apply-type Meta Bool) - full (&;apply-type partial Int)] + [partial (&;apply (list Bool) Meta) + full (&;apply (list Int) partial)] (wrap (:: &;Eq<Type> = full (#;Product Bool Int))))) - (|> (&;apply-type Text Bool) + (|> (&;apply (list Bool) Text) (case> #;None true _ false))))) (context: "Naming" |