[commit: ghc] master: An extra traceTc in tcExpr for ExprWithSig (84dd9d0)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/84dd9d0d4ccc904d64410b7f2c27ef79a5edd262/ghc

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

commit 84dd9d0d4ccc904d64410b7f2c27ef79a5edd262
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Mar 24 20:53:14 2016 +0000

    An extra traceTc in tcExpr for ExprWithSig


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

84dd9d0d4ccc904d64410b7f2c27ef79a5edd262
 compiler/typecheck/TcExpr.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/typecheck/TcExpr.hs b/compiler/typecheck/TcExpr.hs
index 4d6a109..3a8e829 100644
--- a/compiler/typecheck/TcExpr.hs
+++ b/compiler/typecheck/TcExpr.hs
@@ -1470,6 +1470,7 @@ tcExprSig expr sig@(TISI { sig_bndr  = s_bndr
                  else tcSubType_NC ExprSigCtxt inferred_sigma
                                    (mkCheckExpType my_sigma)
 
+       ; traceTc "tcExpSig" (ppr qtvs $$ ppr givens $$ ppr inferred_sigma $$ ppr my_sigma)
        ; let poly_wrap = wrap
                          <.> mkWpTyLams qtvs
                          <.> mkWpLams givens