[commit: ghc] wip/ttypeable: Debugging (d8756ff)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/ttypeable
Link       : http://ghc.haskell.org/trac/ghc/changeset/d8756ffd6aa3e95c3497f0b7c055a41689ddaeca/ghc

>---------------------------------------------------------------

commit d8756ffd6aa3e95c3497f0b7c055a41689ddaeca
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Thu Feb 2 18:05:15 2017 -0500

    Debugging


>---------------------------------------------------------------

d8756ffd6aa3e95c3497f0b7c055a41689ddaeca
 compiler/typecheck/TcType.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/compiler/typecheck/TcType.hs b/compiler/typecheck/TcType.hs
index cf77fa5..146de37 100644
--- a/compiler/typecheck/TcType.hs
+++ b/compiler/typecheck/TcType.hs
@@ -887,10 +887,10 @@ exactTyCoVarsOfType ty
 exactTyCoVarsOfTypes :: [Type] -> TyVarSet
 exactTyCoVarsOfTypes tys = mapUnionVarSet exactTyCoVarsOfType tys
 
-rewritableTyVarsOfTypes :: [TcType] -> TcTyVarSet
+rewritableTyVarsOfTypes :: HasCallStack => [TcType] -> TcTyVarSet
 rewritableTyVarsOfTypes tys = mapUnionVarSet rewritableTyVarsOfType tys
 
-rewritableTyVarsOfType :: TcType -> TcTyVarSet
+rewritableTyVarsOfType :: HasCallStack => TcType -> TcTyVarSet
 -- Used during kick-out from the inert set
 -- Ignores coercions and casts, because rewriting those does
 -- not help solving, and it's more efficient to ignore them