Remove old trace statement
authorRichard Eisenberg <eir@cis.upenn.edu>
Wed, 21 Oct 2015 18:08:12 +0000 (14:08 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Wed, 21 Oct 2015 18:08:12 +0000 (14:08 -0400)
compiler/typecheck/TcErrors.hs

index c0a3350..8c88d22 100644 (file)
@@ -963,9 +963,7 @@ mkTyVarEqErr dflags ctxt extra ct oriented tv1 ty2
                             -- be oriented the other way round;
                             -- see TcCanonical.canEqTyVarTyVar
   || isSigTyVar tv1 && not (isTyVarTy ty2)
-  || pprTrace "RAE1" (ppr ct $$ ppr tv1 $$ ppr ty2 $$
-                      ppr (isTyVarUnderDatatype tv1 ty2))
-     (ctEqRel ct == ReprEq && not (isTyVarUnderDatatype tv1 ty2))
+  || ctEqRel ct == ReprEq && not (isTyVarUnderDatatype tv1 ty2)
      -- the cases below don't really apply to ReprEq (except occurs check)
   = mkErrorMsgFromCt ctxt ct (vcat [ misMatchOrCND ctxt ct oriented ty1 ty2
                                    , extraTyVarInfo ctxt tv1 ty2