aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test
diff options
context:
space:
mode:
authorEduardo Julian2017-06-26 19:34:58 -0400
committerEduardo Julian2017-06-26 19:34:58 -0400
commit821b60d969dfda0302aba7aea8a93bfed2fa628d (patch)
treed3a46f3bd6e448e9ef83323287f75dc120a83306 /stdlib/test
parentb97060bb7778a7ce01ac72948f3cd9bcef5d7ec9 (diff)
- Miscellaneous refactoring.
Diffstat (limited to '')
-rw-r--r--stdlib/test/test/lux/type.lux6
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"