Remove debugging output (#8356)
authorKrzysztof Gogolewski <krz.gogolewski@gmail.com>
Fri, 1 Nov 2013 11:36:28 +0000 (12:36 +0100)
committerKrzysztof Gogolewski <krz.gogolewski@gmail.com>
Fri, 1 Nov 2013 11:36:28 +0000 (12:36 +0100)
compiler/types/FunDeps.lhs

index bd0f7d7..c91a293 100644 (file)
@@ -466,8 +466,7 @@ checkInstCoverage be_liberal clas theta inst_taus
        | if be_liberal then liberal_ok else conservative_ok
        = Nothing
        | otherwise
-       = pprTrace "cic" (vcat [ppr clas <+> ppr inst_taus, ppr fd, ppr ls_tvs, ppr rs_tvs, ppr (oclose theta ls_tvs), ppr theta]) $
-         Just msg
+       = Just msg
        where
          (ls,rs) = instFD fd tyvars inst_taus
          ls_tvs = closeOverKinds (tyVarsOfTypes ls)  -- See Note [Closing over kinds in coverage]