X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fspecialise%2FRules.lhs;h=b3c9791e413609a38a107c5fa80427b4b33a821c;hb=bea2ece06bbeab1d8abbde420b2fff383edd34be;hp=35b44ab98c94541cad3ea11341fee445ff9cf698;hpb=dfcbc18e016540cb136ec3298a07a4a55b488db0;p=ghc-hetmet.git

diff --git a/compiler/specialise/Rules.lhs b/compiler/specialise/Rules.lhs
index 35b44ab..b3c9791 100644
--- a/compiler/specialise/Rules.lhs
+++ b/compiler/specialise/Rules.lhs
@@ -423,6 +423,16 @@ match menv subst (Var v1) e2
   | Just subst <- match_var menv subst v1 e2
   = Just subst
 
+match menv subst e1 (Note n e2)
+  = match menv subst e1 e2
+	-- Note [Notes in RULE matching]
+	-- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+	-- Look through Notes.  In particular, we don't want to
+	-- be confused by InlineMe notes.  Maybe we should be more
+	-- careful about profiling notes, but for now I'm just
+	-- riding roughshod over them.  
+	--- See Note [Notes in call patterns] in SpecConstr
+
 -- Here is another important rule: if the term being matched is a
 -- variable, we expand it so long as its unfolding is a WHNF
 -- (Its occurrence information is not necessarily up to date,