diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-12-06 14:22:31 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-12-06 14:23:44 +0000 |
| commit | 081f44bf3a2fbd87fe68f946306b836f12b20958 (patch) | |
| tree | 4df54b22972102b8f22560a3061483119773af53 /compiler | |
| parent | 91c4e71f633ebc81671fbfc752fc35b84883e744 (diff) | |
| download | haskell-081f44bf3a2fbd87fe68f946306b836f12b20958.tar.gz | |
Remove a tcTrace
This tcTrace, in tcTyFamInstEqn, caused a knot-tying loop, because
it was printing a type after zonking-to-Type. Easy solution: don't
do that.
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/typecheck/TcTyClsDecls.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/typecheck/TcTyClsDecls.hs b/compiler/typecheck/TcTyClsDecls.hs index ce7cc83858..877166dfd5 100644 --- a/compiler/typecheck/TcTyClsDecls.hs +++ b/compiler/typecheck/TcTyClsDecls.hs @@ -1784,7 +1784,8 @@ tcTyFamInstEqn fam_tc mb_clsinfo imp_vars (mb_expl_bndrs `orElse` []) hs_pats hs_rhs_ty - ; traceTc "tcTyFamInstEqn" (ppr fam_tc $$ ppr qtvs $$ ppr pats $$ ppr rhs_ty) + -- Don't print results they may be knot-tied + -- (tcFamInstEqnGuts zonks to Type) ; return (mkCoAxBranch qtvs [] [] pats rhs_ty (map (const Nominal) qtvs) loc) } |