Commit 95324f01 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Improve tc-tracing a bit

parent 2896082e
......@@ -567,7 +567,7 @@ tc_extend_local_env top_lvl extra_env thing_inside
-- The second argument of type TyVarSet is a set of type variables
-- that are bound together with extra_env and should not be regarded
-- as free in the types of extra_env.
= do { traceTc "env2" (ppr extra_env)
= do { traceTc "tc_extend_local_env" (ppr extra_env)
; env0 <- getLclEnv
; env1 <- tcExtendLocalTypeEnv env0 extra_env
; stage <- getStage
......
......@@ -1636,6 +1636,10 @@ tcExprSig expr (CompleteSig { sig_bndr = poly_id, sig_loc = loc })
= setSrcSpan loc $ -- Sets the location for the implication constraint
do { (tv_prs, theta, tau) <- tcInstType tcInstSkolTyVars poly_id
; given <- newEvVars theta
; traceTc "tcExprSig: CompleteSig" $
vcat [ text "poly_id:" <+> ppr poly_id <+> dcolon <+> ppr (idType poly_id)
, text "tv_prs:" <+> ppr tv_prs ]
; let skol_info = SigSkol ExprSigCtxt (idType poly_id) tv_prs
skol_tvs = map snd tv_prs
; (ev_binds, expr') <- checkConstraints skol_info skol_tvs given $
......
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