Commit 5a7c657e authored by Simon Peyton Jones's avatar Simon Peyton Jones

Debug tracing only

parent 2bbdd00c
......@@ -213,7 +213,8 @@ tcHsSigType :: UserTypeCtxt -> LHsSigType GhcRn -> TcM Type
-- See Note [Recipe for checking a signature]
tcHsSigType ctxt sig_ty
= addSigCtxt ctxt (hsSigType sig_ty) $
do { kind <- case expectedKindInCtxt ctxt of
do { traceTc "tcHsSigType {" (ppr sig_ty)
; kind <- case expectedKindInCtxt ctxt of
AnythingKind -> newMetaKindVar
TheKind k -> return k
OpenKind -> newOpenTypeKind
......@@ -227,6 +228,7 @@ tcHsSigType ctxt sig_ty
else tc_hs_sig_type skol_info sig_ty kind
; checkValidType ctxt ty
; traceTc "end tcHsSigType }" (ppr ty)
; return ty }
where
skol_info = SigTypeSkol ctxt
......
......@@ -2511,8 +2511,9 @@ instance Outputable Implication where
ppr (Implic { ic_tclvl = tclvl, ic_skols = skols
, ic_given = given, ic_no_eqs = no_eqs
, ic_wanted = wanted, ic_status = status
, ic_binds = binds, ic_need_inner = need_in
, ic_need_outer = need_out, ic_info = info })
, ic_binds = binds
-- , ic_need_inner = need_in, ic_need_outer = need_out
, ic_info = info })
= hang (text "Implic" <+> lbrace)
2 (sep [ text "TcLevel =" <+> ppr tclvl
, text "Skolems =" <+> pprTyVars skols
......@@ -2521,8 +2522,8 @@ instance Outputable Implication where
, hang (text "Given =") 2 (pprEvVars given)
, hang (text "Wanted =") 2 (ppr wanted)
, text "Binds =" <+> ppr binds
, text "Needed inner =" <+> ppr need_in
, text "Needed outer =" <+> ppr need_out
-- , text "Needed inner =" <+> ppr need_in
-- , text "Needed outer =" <+> ppr need_out
, pprSkolInfo info ] <+> rbrace)
instance Outputable ImplicStatus where
......
......@@ -154,6 +154,8 @@ solveLocalEqualities thing_inside
; traceTc "solveLocalEqualities: running solver }" (ppr reduced_wanted)
; emitConstraints reduced_wanted
; traceTc "solveLocalEqualities end }" empty
; return result }
-- | Type-check a thing that emits only equality constraints, then
......
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