Commit 8104f7c6 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Remove some traceTc calls

During the kind-checking "knot" we have to be careful not
to print too eagerly.
parent 599d912f
......@@ -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 )
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment