X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FcoreSyn%2FCoreUnfold.lhs;h=e54acc0f1038dd39651ffe381b9fea2b699baa12;hp=e007682c9553dd66d68e6aa4454e1089c2e323c6;hb=e55d6fa8fcab24a7a072688a19b2e68e09c7f585;hpb=28cb2d6d40264796fb84da1f352490fd2b8eb27f

diff --git a/compiler/coreSyn/CoreUnfold.lhs b/compiler/coreSyn/CoreUnfold.lhs
index e007682..e54acc0 100644
--- a/compiler/coreSyn/CoreUnfold.lhs
+++ b/compiler/coreSyn/CoreUnfold.lhs
@@ -1163,13 +1163,14 @@ However e might not *look* as if
 -- where t1..tk are the *universally-qantified* type args of 'dc'
 exprIsConApp_maybe :: IdUnfoldingFun -> CoreExpr -> Maybe (DataCon, [Type], [CoreExpr])
 
-exprIsConApp_maybe id_unf (Note _ expr)
+exprIsConApp_maybe id_unf (Note note expr)
+  | notSccNote note
   = exprIsConApp_maybe id_unf expr
-	-- We ignore all notes.  For example,
+	-- We ignore all notes except SCCs.  For example,
 	--  	case _scc_ "foo" (C a b) of
 	--			C a b -> e
-	-- should be optimised away, but it will be only if we look
-	-- through the SCC note.
+	-- should not be optimised away, because we'll lose the
+	-- entry count on 'foo'; see Trac #4414
 
 exprIsConApp_maybe id_unf (Cast expr co)
   =     -- Here we do the KPush reduction rule as described in the FC paper