X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypes%2FType.lhs;h=de7e4606646981c9bf88ae2277c438363926edc6;hp=8f23a35853a489c0a2fc7bb37e1c1d6beab2eed3;hb=5822cb8d13aa3c05d2b46b4510c13d94b902eb21;hpb=db14f9df7f2f62039af85ac75ac59a4e22d09787 diff --git a/compiler/types/Type.lhs b/compiler/types/Type.lhs index 8f23a35..de7e460 100644 --- a/compiler/types/Type.lhs +++ b/compiler/types/Type.lhs @@ -1467,8 +1467,6 @@ isSuperKind other = False isKind :: Kind -> Bool isKind k = isSuperKind (typeKind k) - - isSubKind :: Kind -> Kind -> Bool -- (k1 `isSubKind` k2) checks that k1 <: k2 isSubKind (TyConApp kc1 []) (TyConApp kc2 []) = kc1 `isSubKindCon` kc2