From 821b60d969dfda0302aba7aea8a93bfed2fa628d Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 26 Jun 2017 19:34:58 -0400
Subject: - Miscellaneous refactoring.

---
 stdlib/test/test/lux/type.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'stdlib/test')

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"
-- 
cgit v1.2.3