[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