A bit more tracing in TcHsType.tcTyVar
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 29 Feb 2016 14:17:30 +0000 (14:17 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 1 Mar 2016 17:08:32 +0000 (17:08 +0000)
compiler/typecheck/TcHsType.hs

index 5b0d9b9..8c22c5c 100644 (file)
@@ -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