From a1b2a8120921ccca79e95b8bd35b475b34dd9780 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 10 Apr 2017 23:21:35 -0400
Subject: - Renamed "LambdaT" to "FunctionT".

---
 stdlib/test/test/lux/type.lux       |  2 +-
 stdlib/test/test/lux/type/check.lux | 10 +++++-----
 2 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'stdlib/test')

diff --git a/stdlib/test/test/lux/type.lux b/stdlib/test/test/lux/type.lux
index 0ebc23489..705306150 100644
--- a/stdlib/test/test/lux/type.lux
+++ b/stdlib/test/test/lux/type.lux
@@ -112,7 +112,7 @@
    extra (|> gen-type
              (R;filter (function [type]
                          (case type
-                           (^or (#;LambdaT _) (#;AppT _))
+                           (^or (#;FunctionT _) (#;AppT _))
                            false
 
                            _
diff --git a/stdlib/test/test/lux/type/check.lux b/stdlib/test/test/lux/type/check.lux
index 8235ff808..b57bec8e8 100644
--- a/stdlib/test/test/lux/type/check.lux
+++ b/stdlib/test/test/lux/type/check.lux
@@ -55,7 +55,7 @@
     (^template [<tag>]
       (<tag> left right)
       (and (valid-type? left) (valid-type? right)))
-    ([#;SumT] [#;ProdT] [#;LambdaT])
+    ([#;SumT] [#;ProdT] [#;FunctionT])
 
     (#;NamedT name type')
     (valid-type? type')
@@ -113,10 +113,10 @@
                                             (#;NamedT ["module" "name"] ex))))))
 
       (assert "Can type-check functions."
-              (and (&;checks? (#;LambdaT Bottom Top)
-                              (#;LambdaT Top Bottom))
-                   (not (&;checks? (#;LambdaT Top Bottom)
-                                   (#;LambdaT Bottom Top)))))
+              (and (&;checks? (#;FunctionT Bottom Top)
+                              (#;FunctionT Top Bottom))
+                   (not (&;checks? (#;FunctionT Top Bottom)
+                                   (#;FunctionT Bottom Top)))))
       ))
 
 (test: "Type application"
-- 
cgit v1.2.3