[commit: ghc] wip/gadtpm: Trace tcCheckSatisfiability (6deae05)

[git at git.haskell.org]

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

On branch  : wip/gadtpm
Link       : http://ghc.haskell.org/trac/ghc/changeset/6deae058ebe498a2cd5d147a7779ab191ead40df/ghc

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

commit 6deae058ebe498a2cd5d147a7779ab191ead40df
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Feb 10 13:14:34 2015 +0000

    Trace tcCheckSatisfiability


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

6deae058ebe498a2cd5d147a7779ab191ead40df
 compiler/typecheck/TcSimplify.hs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/compiler/typecheck/TcSimplify.hs b/compiler/typecheck/TcSimplify.hs
index 76fc3d9..7f32ac4 100644
--- a/compiler/typecheck/TcSimplify.hs
+++ b/compiler/typecheck/TcSimplify.hs
@@ -237,9 +237,11 @@ tcCheckSatisfiability :: Bag EvVar -> TcM Bool
 tcCheckSatisfiability givens
   = do { lcl_env <- getLclEnv
        ; let given_loc = mkGivenLoc topTcLevel UnkSkol lcl_env
+       ; traceTc "checkSatisfiabilty {" (ppr givens)
        ; (res, _ev_binds) <- runTcS $
              do { solveSimpleGivens given_loc (bagToList givens)
                 ; checkInsoluble }
+       ; traceTc "checkSatisfiabilty }" (ppr res)
        ; return (not res) }
 
 {-