diff options
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/types/Kind.lhs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/compiler/types/Kind.lhs b/compiler/types/Kind.lhs index b3684151b1..21b029eafd 100644 --- a/compiler/types/Kind.lhs +++ b/compiler/types/Kind.lhs @@ -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 |