aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/test/test/lux/meta/type/check.lux22
1 files changed, 11 insertions, 11 deletions
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"