diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-03-24 20:53:14 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-03-25 09:30:17 +0000 |
| commit | 84dd9d0d4ccc904d64410b7f2c27ef79a5edd262 (patch) | |
| tree | 2754e83db21d8c2c1a583c37b880d6dc54dbd0e3 /compiler/typecheck/TcExpr.hs | |
| parent | 26f86f3d397159f9c0db0b59766138f553ba5a86 (diff) | |
| download | haskell-84dd9d0d4ccc904d64410b7f2c27ef79a5edd262.tar.gz | |
An extra traceTc in tcExpr for ExprWithSig
Diffstat (limited to 'compiler/typecheck/TcExpr.hs')
| -rw-r--r-- | compiler/typecheck/TcExpr.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/typecheck/TcExpr.hs b/compiler/typecheck/TcExpr.hs index 4d6a109432..3a8e82992b 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 |