From e2500061ed74ffccb299c2923894dd549238112b Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 20 Oct 2017 20:36:58 -0400
Subject: - Re-named "Host" to "Primitive".

---
 stdlib/test/test/lux/meta/type/check.lux | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

(limited to 'stdlib/test')

diff --git a/stdlib/test/test/lux/meta/type/check.lux b/stdlib/test/test/lux/meta/type/check.lux
index 253ce5939..5fb207cec 100644
--- a/stdlib/test/test/lux/meta/type/check.lux
+++ b/stdlib/test/test/lux/meta/type/check.lux
@@ -46,7 +46,7 @@
 (def: (valid-type? type)
   (-> Type Bool)
   (case type
-    (#;Host name params)
+    (#;Primitive name params)
     (list;every? valid-type? params)
     
     (^or #;Void #;Unit (#;Ex id))
@@ -132,7 +132,7 @@
                    (@;checks? (type;tuple (list meta data))
                               (|> Ann (#;Apply meta) (#;Apply data))))))))
 
-(context: "Host types"
+(context: "Primitive types"
   (<| (times +100)
       (do @
         [nameL gen-name
@@ -140,17 +140,17 @@
          paramL gen-type
          paramR (|> gen-type (r;filter (|>. (@;checks? paramL) not)))]
         ($_ seq
-            (test "Host types match when they have the same name and the same parameters."
-                  (@;checks? (#;Host nameL (list paramL))
-                             (#;Host nameL (list paramL))))
+            (test "Primitive types match when they have the same name and the same parameters."
+                  (@;checks? (#;Primitive nameL (list paramL))
+                             (#;Primitive nameL (list paramL))))
 
-            (test "Names matter to host types."
-                  (not (@;checks? (#;Host nameL (list paramL))
-                                  (#;Host nameR (list paramL)))))
+            (test "Names matter to primitive types."
+                  (not (@;checks? (#;Primitive nameL (list paramL))
+                                  (#;Primitive nameR (list paramL)))))
 
-            (test "Parameters matter to host types."
-                  (not (@;checks? (#;Host nameL (list paramL))
-                                  (#;Host nameL (list paramR)))))
+            (test "Parameters matter to primitive types."
+                  (not (@;checks? (#;Primitive nameL (list paramL))
+                                  (#;Primitive nameL (list paramR)))))
             ))))
 
 (context: "Type-vars"
-- 
cgit v1.2.3