From 35832f8e115e087a949cc5c7b0832cdef43f2d41 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 15 Dec 2016 00:36:58 -0400
Subject: - Updated tests for lux/type. - Added tests for lux/type/check and
 lux/type/auto.

---
 stdlib/source/lux.lux | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'stdlib/source/lux.lux')

diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux
index de985db95..b834649e8 100644
--- a/stdlib/source/lux.lux
+++ b/stdlib/source/lux.lux
@@ -3254,8 +3254,8 @@
        _
        (list type)))]
 
-  [flatten-sum  #;SumT]
-  [flatten-prod #;ProdT]
+  [flatten-variant  #;SumT]
+  [flatten-tuple #;ProdT]
   [flatten-lambda    #;LambdaT]
   [flatten-app  #;AppT]
   )
@@ -3264,7 +3264,7 @@
   (-> Type (Maybe (List Type)))
   (case type
     (#ProdT _)
-    (#Some (flatten-prod type))
+    (#Some (flatten-tuple type))
 
     (#AppT fun arg)
     (do Monad<Maybe>
@@ -4059,10 +4059,10 @@
     "Unit"
 
     (#SumT _)
-    ($_ Text/append "(| " (|> (flatten-sum type) (map Type/show) (interpose " ") reverse (fold Text/append "")) ")")
+    ($_ Text/append "(| " (|> (flatten-variant type) (map Type/show) (interpose " ") reverse (fold Text/append "")) ")")
     
     (#ProdT _)
-    ($_ Text/append "[" (|> (flatten-prod type) (map Type/show) (interpose " ") reverse (fold Text/append "")) "]")
+    ($_ Text/append "[" (|> (flatten-tuple type) (map Type/show) (interpose " ") reverse (fold Text/append "")) "]")
 
     (#LambdaT _)
     ($_ Text/append "(-> " (|> (flatten-lambda type) (map Type/show) (interpose " ") reverse (fold Text/append "")) ")")
-- 
cgit v1.2.3