[commit: ghc] master: Add HasDebugStack for typeKind (aed7d43)
git at git.haskell.org
git at git.haskell.org
Tue Aug 29 08:37:56 UTC 2017
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/aed7d431a58bc82eae7635aed8697a71267a9076/ghc
>---------------------------------------------------------------
commit aed7d431a58bc82eae7635aed8697a71267a9076
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Mon Aug 28 17:35:33 2017 +0100
Add HasDebugStack for typeKind
typeKind can fail, and it's called all over the place, so
it's helpful to know where
>---------------------------------------------------------------
aed7d431a58bc82eae7635aed8697a71267a9076
compiler/types/Type.hs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/compiler/types/Type.hs b/compiler/types/Type.hs
index 664f001..1e0c612 100644
--- a/compiler/types/Type.hs
+++ b/compiler/types/Type.hs
@@ -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
More information about the ghc-commits
mailing list