Commit 4ea2675c authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Improve debug tracing

parent 5e102e64
......@@ -432,7 +432,8 @@ tcPolyInfer mono closed tc_sig_fn prag_fn rec_tc bind_list
, abs_ev_vars = givens, abs_ev_binds = ev_binds
, abs_exports = exports, abs_binds = binds' }
; traceTc "Binding:" (ppr (poly_ids `zip` map idType poly_ids))
; traceTc "Binding:" (ppr final_closed $$
ppr (poly_ids `zip` map idType poly_ids))
; return (unitBag abs_bind, poly_ids, final_closed)
-- poly_ids are guaranteed zonked by mkExport
}
......
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