[commit: ghc] wip/T2893: A tiny bit more tc-tracing (a propos Trac #14723 (a269928)

[git at git.haskell.org]

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

On branch  : wip/T2893
Link       : http://ghc.haskell.org/trac/ghc/changeset/a2699289a15f18100b0f51b2b84d6089a8d11827/ghc

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

commit a2699289a15f18100b0f51b2b84d6089a8d11827
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Sat Jan 27 16:56:45 2018 +0000

    A tiny bit more tc-tracing (a propos Trac #14723


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

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

diff --git a/compiler/typecheck/TcInteract.hs b/compiler/typecheck/TcInteract.hs
index 968c553..5a5cb7e 100644
--- a/compiler/typecheck/TcInteract.hs
+++ b/compiler/typecheck/TcInteract.hs
@@ -1742,7 +1742,7 @@ emitFunDepDeriveds fd_eqns
      = do { traceTcS "emitFunDepDeriveds 1" (ppr (ctl_depth loc) $$ ppr eqs)
           ; mapM_ (unifyDerived loc Nominal) eqs }
      | otherwise
-     = do { traceTcS "emitFunDepDeriveds 2" (ppr (ctl_depth loc) $$ ppr eqs)
+     = do { traceTcS "emitFunDepDeriveds 2" (ppr (ctl_depth loc) $$ ppr tvs $$ ppr eqs)
           ; subst <- instFlexi tvs  -- Takes account of kind substitution
           ; mapM_ (do_one_eq loc subst) eqs }
 
@@ -2491,7 +2491,7 @@ matchInstEnv dflags short_cut_solver clas tys loc
         ; traceTcS "matchInstEnv" $
             vcat [ text "goal:" <+> ppr clas <+> ppr tys
                  , text "matches:" <+> ppr matches
-                 , text "unify:" <+> ppr unify
+                 , text "unify:" <+> ppr unify ]
         ; case (matches, unify, safeHaskFail) of
 
             -- Nothing matches