compiler/specialise: shut match_co up a bit
authorAustin Seipp <austin@well-typed.com>
Mon, 1 Jun 2015 08:45:11 +0000 (03:45 -0500)
committerAustin Seipp <austin@well-typed.com>
Mon, 1 Jun 2015 08:45:16 +0000 (03:45 -0500)
This stray pprTrace is quite annoying and makes our build logs a bit
bigger (hundreds of lines of occurrences), so we should probably just
get rid of it. Kept under DEBUG for future brave hackers.

Signed-off-by: Austin Seipp <austin@well-typed.com>
Reviewed By: thomie, nomeata

Differential Revision: https://phabricator.haskell.org/D934

compiler/specialise/Rules.hs

index e6e5359..3601253 100644 (file)
@@ -733,9 +733,13 @@ match_co renv subst (TyConAppCo r1 tc1 cos1) co2
          | r1 == r2 && tc1 == tc2
          -> match_cos renv subst cos1 cos2
        _ -> Nothing
-match_co _ _ co1 co2
-  = pprTrace "match_co: needs more cases" (ppr co1 $$ ppr co2) Nothing
+match_co _ _ _co1 _co2
     -- Currently just deals with CoVarCo, TyConAppCo and Refl
+#ifdef DEBUG
+  = pprTrace "match_co: needs more cases" (ppr _co1 $$ ppr _co2) Nothing
+#else
+  = Nothing
+#endif
 
 match_cos :: RuleMatchEnv
          -> RuleSubst