X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fspecialise%2FRules.lhs;h=fb0ad4012457d563d2cf77a4f0943fb12d47e186;hp=758d60db04de959e3d30a6a9046265acc04191a6;hb=de905f504a3e129e2c4a1906d7e0a26e36cd6c4b;hpb=0a960884b377903e41735bb2d36bec495bf5d890

diff --git a/compiler/specialise/Rules.lhs b/compiler/specialise/Rules.lhs
index 758d60d..fb0ad40 100644
--- a/compiler/specialise/Rules.lhs
+++ b/compiler/specialise/Rules.lhs
@@ -38,6 +38,7 @@ import Name		( Name, NamedThing(..) )
 import NameEnv
 import Unify 		( ruleMatchTyX, MatchEnv(..) )
 import BasicTypes	( Activation, CompilerPhase, isActive )
+import StaticFlags	( opt_PprStyle_Debug )
 import Outputable
 import FastString
 import Maybes
@@ -258,10 +259,15 @@ findBest target (rule1,ans1) ((rule2,ans2):prs)
   | rule1 `isMoreSpecific` rule2 = findBest target (rule1,ans1) prs
   | rule2 `isMoreSpecific` rule1 = findBest target (rule2,ans2) prs
 #ifdef DEBUG
-  | otherwise = pprTrace "Rules.findBest: rule overlap (Rule 1 wins)"
-			 (vcat [ptext SLIT("Expression to match:") <+> ppr fn <+> sep (map ppr args),
-				ptext SLIT("Rule 1:") <+> ppr rule1, 
-				ptext SLIT("Rule 2:") <+> ppr rule2]) $
+  | otherwise = let pp_rule rule 
+			| opt_PprStyle_Debug = ppr rule
+			| otherwise          = doubleQuotes (ftext (ru_name rule))
+		in pprTrace "Rules.findBest: rule overlap (Rule 1 wins)"
+			 (vcat [if opt_PprStyle_Debug then 
+				   ptext SLIT("Expression to match:") <+> ppr fn <+> sep (map ppr args)
+				else empty,
+				ptext SLIT("Rule 1:") <+> pp_rule rule1, 
+				ptext SLIT("Rule 2:") <+> pp_rule rule2]) $
 		findBest target (rule1,ans1) prs
 #else
   | otherwise = findBest target (rule1,ans1) prs