Commit 5940bfd2 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Now I understand why Constraint is a sub-kind of ArgKind!

parent 4c29dcb6
......@@ -183,13 +183,14 @@ isSubOpenTypeKindCon kc
= isSubArgTypeKindCon kc
|| isUbxTupleKindCon kc
|| isOpenTypeKindCon kc
|| isConstraintKindCon kc -- Needed for error (Num a) "blah"
-- and so that (Ord a -> Eq a) is well-kinded
isSubArgTypeKindCon kc
= isUnliftedTypeKindCon kc
|| isLiftedTypeKindCon kc
|| isArgTypeKindCon kc
|| isConstraintKindCon kc -- Needed for error (Num a) "blah"
-- and so that (Ord a -> Eq a) is well-kinded
-- and so that (# Eq a, Ord b #) is well-kinded
isSubArgTypeKind :: Kind -> Bool
-- ^ True of any sub-kind of ArgTypeKind
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment