diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/test/test/lux/meta/type/check.lux | 22 |
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" |