Commit 000d4517 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Improve debug print a bit

parent 4cc88265
...@@ -775,7 +775,7 @@ tcFamTyPats fam_tc (HsBSig arg_pats (kvars, tvars)) kind_checker thing_inside ...@@ -775,7 +775,7 @@ tcFamTyPats fam_tc (HsBSig arg_pats (kvars, tvars)) kind_checker thing_inside
; all_args' <- zonkTcTypeToTypes ze all_args ; all_args' <- zonkTcTypeToTypes ze all_args
; res_kind' <- zonkTcTypeToType ze res_kind ; res_kind' <- zonkTcTypeToType ze res_kind
; traceTc "tcFamPats" (ppr qtkvs' $$ ppr all_args' $$ ppr res_kind') ; traceTc "tcFamPats" (pprTvBndrs qtkvs' $$ ppr all_args' $$ ppr res_kind')
; tcExtendTyVarEnv qtkvs' $ ; tcExtendTyVarEnv qtkvs' $
thing_inside qtkvs' all_args' res_kind' } thing_inside qtkvs' all_args' res_kind' }
\end{code} \end{code}
......
Supports Markdown
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