Commit 086b4836 authored by Simon Peyton Jones's avatar Simon Peyton Jones

A tiny bit more tc tracing

parent 1bfff60f
......@@ -684,7 +684,10 @@ tc_sub_type_ds :: CtOrigin -- used when calling uType
-- Here is where the work actually happens!
-- Precondition: ty_expected is deeply skolemised
tc_sub_type_ds eq_orig inst_orig ctxt ty_actual ty_expected
= go ty_actual ty_expected
= do { traceTc "tc_sub_type_ds" $
vcat [ text "ty_actual =" <+> ppr ty_actual
, text "ty_expected =" <+> ppr ty_expected ]
; go ty_actual ty_expected }
where
go ty_a ty_e | Just ty_a' <- coreView ty_a = go ty_a' ty_e
| Just ty_e' <- coreView ty_e = go ty_a ty_e'
......
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