diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2015-11-04 14:23:49 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-11-04 14:23:49 +0100 |
| commit | 525ada5aba10a5b8ecf73de9f19f2be7f44ed0f9 (patch) | |
| tree | 14f0f633bd87b82840cb71f8220db87164fe57a2 | |
| parent | 5028a37ec9bafb4d43215bd05822b3430ed596b4 (diff) | |
| download | haskell-525ada5aba10a5b8ecf73de9f19f2be7f44ed0f9.tar.gz | |
Remove pprTrace from Richard
| -rw-r--r-- | compiler/typecheck/TcErrors.hs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/compiler/typecheck/TcErrors.hs b/compiler/typecheck/TcErrors.hs index f5fc2ea2d4..63ad847cde 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 |