Trace statements only
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 10 Jun 2013 17:28:54 +0000 (18:28 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 10 Jun 2013 17:28:54 +0000 (18:28 +0100)
compiler/typecheck/TcPat.lhs

index fd9acee..cb49d4d 100644 (file)
@@ -685,6 +685,7 @@ tcConPat penv (L con_span con_name) pat_ty arg_pats thing_inside
               
              arg_tys' = substTys tenv arg_tys
 
+        ; traceTc "tcConPat" (ppr con_name $$ ppr ex_tvs' $$ ppr pat_ty' $$ ppr arg_tys')
        ; if null ex_tvs && null eq_spec && null theta
          then do { -- The common case; no class bindings etc 
                     -- (see Note [Arrows and patterns])