Commit 2d52c3ad authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

A bit more tracing in TcHsType.tcTyVar

parent 243e2abb
......@@ -924,10 +924,14 @@ tcTyVar mode name -- Could be a tyvar, a tycon, or a datacon
-> TcM (TcType, TcKind)
handle_tyfams tc tc_tc
| mightBeUnsaturatedTyCon tc_tc
= return (ty, tc_kind)
= do { traceTc "tcTyVar2a" (ppr tc_tc $$ ppr tc_kind)
; return (ty, tc_kind) }
| otherwise
= instantiateTyN 0 ty tc_kind
= do { (tc_ty, kind) <- instantiateTyN 0 ty tc_kind
; traceTc "tcTyVar2b" (vcat [ ppr tc <+> dcolon <+> ppr tc_kind
, ppr tc_ty $$ ppr kind ])
; return (tc_ty, kind) }
where
ty = mkNakedTyConApp tc []
tc_kind = tyConKind tc_tc
......
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