[commit: ghc] master: Remove a tc-trace (6ccfa62)

git at git.haskell.org git at git.haskell.org
Mon Jun 11 15:29:33 UTC 2018


Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/6ccfa6201f27a46a9f9cb4ede1463d17a185e668/ghc

>---------------------------------------------------------------

commit 6ccfa6201f27a46a9f9cb4ede1463d17a185e668
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Jun 11 13:58:40 2018 +0100

    Remove a tc-trace


>---------------------------------------------------------------

6ccfa6201f27a46a9f9cb4ede1463d17a185e668
 compiler/typecheck/TcValidity.hs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/compiler/typecheck/TcValidity.hs b/compiler/typecheck/TcValidity.hs
index 1e15f65..8572d32 100644
--- a/compiler/typecheck/TcValidity.hs
+++ b/compiler/typecheck/TcValidity.hs
@@ -1418,8 +1418,7 @@ checkInstTermination theta head_pred
    check2 foralld_tvs pred pred_size
      | not (null bad_tvs)     = addErrTc (noMoreMsg bad_tvs what)
      | not (isTyFamFree pred) = addErrTc (nestedMsg what)
-     | pred_size >= head_size = traceTc "check2" (ppr pred $$ ppr pred_size $$ ppr head_pred $$ ppr head_size)
-     >> addErrTc (smallerMsg what)
+     | pred_size >= head_size = addErrTc (smallerMsg what)
      | otherwise              = return ()
      -- isTyFamFree: see Note [Type families in instance contexts]
      where



More information about the ghc-commits mailing list