From 525ada5aba10a5b8ecf73de9f19f2be7f44ed0f9 Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Wed, 4 Nov 2015 14:23:49 +0100
Subject: [PATCH] Remove pprTrace from Richard
---
compiler/typecheck/TcErrors.hs | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/compiler/typecheck/TcErrors.hs b/compiler/typecheck/TcErrors.hs
index f5fc2ea2d4fa..63ad847cdec4 100644
--- a/compiler/typecheck/TcErrors.hs
+++ b/compiler/typecheck/TcErrors.hs
@@ -815,9 +815,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)
= mkErrorMsg ctxt ct (vcat [ misMatchOrCND ctxt ct oriented ty1 ty2
, extraTyVarInfo ctxt tv1 ty2
--
GitLab