Add HasDebugStack for typeKind
[ghc.git] / compiler / types / Type.hs
index 664f001..1e0c612 100644 (file)
@@ -2306,7 +2306,7 @@ nonDetCmpTc tc1 tc2
 ************************************************************************
 -}
 
 ************************************************************************
 -}
 
-typeKind :: Type -> Kind
+typeKind :: HasDebugCallStack => Type -> Kind
 typeKind (TyConApp tc tys)     = piResultTys (tyConKind tc) tys
 typeKind (AppTy fun arg)       = piResultTy (typeKind fun) arg
 typeKind (LitTy l)             = typeLiteralKind l
 typeKind (TyConApp tc tys)     = piResultTys (tyConKind tc) tys
 typeKind (AppTy fun arg)       = piResultTy (typeKind fun) arg
 typeKind (LitTy l)             = typeLiteralKind l