[commit: ghc] master: Nuke tc-trace that makes the typechecker loop (15dc80e)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/15dc80eab54f37bb975fee4e4c7654d6cc9eb661/ghc

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

commit 15dc80eab54f37bb975fee4e4c7654d6cc9eb661
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri Sep 20 14:50:32 2013 +0100

    Nuke tc-trace that makes the typechecker loop
    
    The trace was being over-eager, which disturbs the typecheckers
    careful knot-tying


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

15dc80eab54f37bb975fee4e4c7654d6cc9eb661
 compiler/typecheck/TcHsType.lhs |    1 -
 1 file changed, 1 deletion(-)

diff --git a/compiler/typecheck/TcHsType.lhs b/compiler/typecheck/TcHsType.lhs
index 1b2d7f4..64f5faf 100644
--- a/compiler/typecheck/TcHsType.lhs
+++ b/compiler/typecheck/TcHsType.lhs
@@ -306,7 +306,6 @@ tcCheckHsTypeAndGen :: HsType Name -> Kind -> TcM Type
 tcCheckHsTypeAndGen hs_ty kind
   = do { ty  <- tc_hs_type hs_ty (EK kind expectedKindMsg)
        ; traceTc "tcCheckHsTypeAndGen" (ppr hs_ty)
-       ; traceTc "tcCheckHsTypeAndGen" (ppr ty)
        ; kvs <- zonkTcTypeAndFV ty 
        ; kvs <- kindGeneralize kvs
        ; return (mkForAllTys kvs ty) }