Some more traceTcs

[ghc-hetmet.git] / compiler / typecheck / TcUnify.lhs

diff --git a/compiler/typecheck/TcUnify.lhs b/compiler/typecheck/TcUnify.lhs
index 67cdf20..29aa61a 100644 (file)
--- a/compiler/typecheck/TcUnify.lhs
+++ b/compiler/typecheck/TcUnify.lhs
@@ -211,6 +211,8 @@ boxySplitTyConApp tc orig_ty
 
       | isOpenSynTyCon tycon        -- try to normalise type family application
       = do { (coi1, ty') <- tcNormaliseFamInst ty
+           ; traceTc $ text "boxySplitTyConApp:" <+> 
+                       ppr ty <+> text "==>" <+> ppr ty'
            ; case coi1 of
               IdCo   -> defer    -- no progress, but maybe solvable => defer
                ACo _  ->          -- progress: so lets try again