Remove a debug trace
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 3 Nov 2016 14:54:45 +0000 (14:54 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 4 Nov 2016 09:17:33 +0000 (09:17 +0000)
I added this when debugging something else, but in general it doesn't
work (with -ddump-tc-trace) because of typecking recursive groups of
TyCons.  So removing it again.

compiler/typecheck/TcHsType.hs

index 3b19298..6e6bcd0 100644 (file)
@@ -1544,7 +1544,6 @@ kindGeneralizeType :: Type -> TcM Type
 kindGeneralizeType ty
   = do { kvs <- kindGeneralize ty
        ; ty <- zonkSigType (mkInvForAllTys kvs ty)
-       ; traceTc "kindGen" (ppr (mkInvForAllTys kvs ty) $$ ppr ty)
        ; return ty  }
 
 kindGeneralize :: TcType -> TcM [KindVar]