From 360c8f0cd43452d4a47cdd2002625143b96df6c8 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 15 Nov 2017 21:05:59 -0400
Subject: - Re-named "lux/meta/type/auto" to "lux/meta/type/implicit".

---
 stdlib/test/test/lux/meta/type/auto.lux     | 41 -----------------------------
 stdlib/test/test/lux/meta/type/implicit.lux | 41 +++++++++++++++++++++++++++++
 stdlib/test/tests.lux                       |  2 +-
 3 files changed, 42 insertions(+), 42 deletions(-)
 delete mode 100644 stdlib/test/test/lux/meta/type/auto.lux
 create mode 100644 stdlib/test/test/lux/meta/type/implicit.lux

(limited to 'stdlib/test')

diff --git a/stdlib/test/test/lux/meta/type/auto.lux b/stdlib/test/test/lux/meta/type/auto.lux
deleted file mode 100644
index 278bad106..000000000
--- a/stdlib/test/test/lux/meta/type/auto.lux
+++ /dev/null
@@ -1,41 +0,0 @@
-(;module:
-  lux
-  (lux [io]
-       (control [monad #+ do Monad]
-                functor
-                [eq])
-       (data [text "Text/" Monoid<Text>]
-             text/format
-             [number]
-             [bool "B/" Eq<Bool>]
-             maybe
-             (coll [list]))
-       ["r" math/random]
-       (meta [type]
-             type/auto))
-  lux/test)
-
-(context: "Automatic structure selection"
-  (<| (times +100)
-      (do @
-        [x r;nat
-         y r;nat]
-        ($_ seq
-            (test "Can automatically select first-order structures."
-                  (let [(^open "L/") (list;Eq<List> number;Eq<Nat>)]
-                    (and (B/= (:: number;Eq<Nat> = x y)
-                              (::: = x y))
-                         (L/= (list;n.range +1 +10)
-                              (::: map n.inc (list;n.range +0 +9)))
-                         )))
-            
-            (test "Can automatically select second-order structures."
-                  (::: =
-                    (list;n.range +1 +10)
-                    (list;n.range +1 +10)))
-
-            (test "Can automatically select third-order structures."
-                  (let [lln (::: map (list;n.range +1)
-                              (list;n.range +1 +10))]
-                    (::: = lln lln)))
-            ))))
diff --git a/stdlib/test/test/lux/meta/type/implicit.lux b/stdlib/test/test/lux/meta/type/implicit.lux
new file mode 100644
index 000000000..8c05b01af
--- /dev/null
+++ b/stdlib/test/test/lux/meta/type/implicit.lux
@@ -0,0 +1,41 @@
+(;module:
+  lux
+  (lux [io]
+       (control [monad #+ do Monad]
+                functor
+                [eq])
+       (data [text "Text/" Monoid<Text>]
+             text/format
+             [number]
+             [bool "B/" Eq<Bool>]
+             maybe
+             (coll [list]))
+       ["r" math/random]
+       (meta [type]
+             type/implicit))
+  lux/test)
+
+(context: "Automatic structure selection"
+  (<| (times +100)
+      (do @
+        [x r;nat
+         y r;nat]
+        ($_ seq
+            (test "Can automatically select first-order structures."
+                  (let [(^open "L/") (list;Eq<List> number;Eq<Nat>)]
+                    (and (B/= (:: number;Eq<Nat> = x y)
+                              (::: = x y))
+                         (L/= (list;n.range +1 +10)
+                              (::: map n.inc (list;n.range +0 +9)))
+                         )))
+            
+            (test "Can automatically select second-order structures."
+                  (::: =
+                    (list;n.range +1 +10)
+                    (list;n.range +1 +10)))
+
+            (test "Can automatically select third-order structures."
+                  (let [lln (::: map (list;n.range +1)
+                              (list;n.range +1 +10))]
+                    (::: = lln lln)))
+            ))))
diff --git a/stdlib/test/tests.lux b/stdlib/test/tests.lux
index ea0aa72f7..d4e038774 100644
--- a/stdlib/test/tests.lux
+++ b/stdlib/test/tests.lux
@@ -68,7 +68,7 @@
                          ["poly_;" functor])
                    ["_;" type]
                    (type ["_;" check]
-                         ["_;" auto]
+                         ["_;" implicit]
                          ["_;" object]))
              (lang ["lang_;" syntax])
              (world ["_;" blob]
-- 
cgit v1.2.3