diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-06-12 22:01:49 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-06-13 10:57:28 +0100 |
| commit | 8104f7c674d7ef2db0c25312f48763202dcef57f (patch) | |
| tree | aa077c30ee4815bb1e75a7503a6bd6ba215a739b /compiler | |
| parent | 599d912f0b85583e389661d85ed2f198e2621bb0 (diff) | |
| download | haskell-8104f7c674d7ef2db0c25312f48763202dcef57f.tar.gz | |
Remove some traceTc calls
During the kind-checking "knot" we have to be careful not
to print too eagerly.
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/typecheck/TcHsType.hs | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/compiler/typecheck/TcHsType.hs b/compiler/typecheck/TcHsType.hs index 5492a8acd5..7fb77e6a39 100644 --- a/compiler/typecheck/TcHsType.hs +++ b/compiler/typecheck/TcHsType.hs @@ -769,10 +769,7 @@ tc_infer_args :: Outputable fun -> Int -- ^ number to start arg counter at -> TcM (TCvSubst, [TyBinder], [TcType], [LHsType Name], Int) tc_infer_args mode orig_ty binders mb_kind_info orig_args n0 - = do { traceTc "tc_infer_args {" (ppr binders $$ ppr orig_args) - ; stuff <- go emptyTCvSubst binders orig_args n0 [] - ; traceTc "tc_infer_args }" (ppr stuff) - ; return stuff } + = go emptyTCvSubst binders orig_args n0 [] where go subst binders [] n acc = return ( subst, binders, reverse acc, [], n ) |