From b5e5cceb9f985a31581a76d71301b393d88f34a8 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 16 Oct 2017 22:23:48 -0400
Subject: - Re-named "Meta" type to "Ann".

---
 stdlib/test/test/lux/type.lux       | 2 +-
 stdlib/test/test/lux/type/check.lux | 4 ++--
 2 files 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 617921e33..3953fcb5b 100644
--- a/stdlib/test/test/lux/type.lux
+++ b/stdlib/test/test/lux/type.lux
@@ -53,7 +53,7 @@
   (test "Can apply quantified types (universal and existential quantification)."
         (and (maybe;default false
                (do maybe;Monad<Maybe>
-                 [partial (&;apply (list Bool) Meta)
+                 [partial (&;apply (list Bool) Ann)
                   full (&;apply (list Int) partial)]
                  (wrap (:: &;Eq<Type> = full (#;Product Bool Int)))))
              (|> (&;apply (list Bool) Text)
diff --git a/stdlib/test/test/lux/type/check.lux b/stdlib/test/test/lux/type/check.lux
index 938bb44b1..67000157d 100644
--- a/stdlib/test/test/lux/type/check.lux
+++ b/stdlib/test/test/lux/type/check.lux
@@ -123,10 +123,10 @@
   [meta gen-type
    data gen-type]
   (test "Can type-check type application."
-        (and (@;checks? (#;Apply data (#;Apply meta Meta))
+        (and (@;checks? (|> Ann (#;Apply meta) (#;Apply data))
                         (type;tuple (list meta data)))
              (@;checks? (type;tuple (list meta data))
-                        (#;Apply data (#;Apply meta Meta))))))
+                        (|> Ann (#;Apply meta) (#;Apply data))))))
 
 (context: "Host types"
   [nameL gen-name
-- 
cgit v1.2.3