diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-06-11 13:58:40 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-06-11 16:29:11 +0100 |
| commit | 6ccfa6201f27a46a9f9cb4ede1463d17a185e668 (patch) | |
| tree | 2ac045cb1670e458b8b821e291a4a94d2a0d3c4e | |
| parent | 97d0542f40a17c10108046969fb19fa6e4de77fb (diff) | |
| download | haskell-6ccfa6201f27a46a9f9cb4ede1463d17a185e668.tar.gz | |
Remove a tc-trace
| -rw-r--r-- | compiler/typecheck/TcValidity.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/compiler/typecheck/TcValidity.hs b/compiler/typecheck/TcValidity.hs index 1e15f658bd..8572d32253 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 |