Add HasDebugStack for typeKind
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 28 Aug 2017 16:35:33 +0000 (17:35 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 29 Aug 2017 08:37:13 +0000 (09:37 +0100)
typeKind can fail, and it's called all over the place, so
it's helpful to know where

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