[commit: ghc] master: Debug tracing only (9f9b10f)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/9f9b10f65d09823c21bc19a79e14cf27cfe56ea5/ghc

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

commit 9f9b10f65d09823c21bc19a79e14cf27cfe56ea5
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri Mar 21 15:33:10 2014 +0000

    Debug tracing only


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

9f9b10f65d09823c21bc19a79e14cf27cfe56ea5
 compiler/typecheck/TcCanonical.lhs |    6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/compiler/typecheck/TcCanonical.lhs b/compiler/typecheck/TcCanonical.lhs
index 030f9c9..a906270 100644
--- a/compiler/typecheck/TcCanonical.lhs
+++ b/compiler/typecheck/TcCanonical.lhs
@@ -611,12 +611,14 @@ flattenTyVar f ctxt tv
   = do { mb_yes <- flattenTyVarOuter f ctxt tv
        ; case mb_yes of
            Left tv'         -> -- Done 
-                               return (ty, mkTcNomReflCo ty)
+                               do { traceTcS "flattenTyVar1" (ppr tv $$ ppr (tyVarKind tv'))
+                                  ; return (ty', mkTcNomReflCo ty') }
                             where
-                               ty = mkTyVarTy tv'
+                               ty' = mkTyVarTy tv'
 
            Right (ty1, co1) -> -- Recurse
                                do { (ty2, co2) <- flatten f ctxt ty1
+                                  ; traceTcS "flattenTyVar2" (ppr tv $$ ppr ty2)
                                   ; return (ty2, co2 `mkTcTransCo` co1) }
        }