An extra traceTc in tcExpr for ExprWithSig
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 24 Mar 2016 20:53:14 +0000 (20:53 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 25 Mar 2016 09:30:17 +0000 (09:30 +0000)
compiler/typecheck/TcExpr.hs

index 4d6a109..3a8e829 100644 (file)
@@ -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