From 380ec6be64b1979780e78b79ca4e90b285196a28 Mon Sep 17 00:00:00 2001 From: simonpj Date: Thu, 11 Sep 2003 13:41:38 +0000 Subject: [PATCH] [project @ 2003-09-11 13:41:38 by simonpj] Undo bogus claim that _scc_ "foo" x == x This just isn't right in general, for example when x is a top-level function. --- ghc/compiler/coreSyn/CoreUtils.lhs | 5 ----- 1 file changed, 5 deletions(-) diff --git a/ghc/compiler/coreSyn/CoreUtils.lhs b/ghc/compiler/coreSyn/CoreUtils.lhs index 7e5fbb4..5c26e0d 100644 --- a/ghc/compiler/coreSyn/CoreUtils.lhs +++ b/ghc/compiler/coreSyn/CoreUtils.lhs @@ -214,12 +214,7 @@ mkCoerce2 to_ty from_ty expr mkSCC :: CostCentre -> Expr b -> Expr b -- Note: Nested SCC's *are* preserved for the benefit of -- cost centre stack profiling - -- Note2: We throw away an SCC on a single variable. If the - -- variable is a value, then there is no work to do in - -- evaluating it, and if it is a thunk, then it will be - -- attributed to its own CCS anyhow. mkSCC cc (Lit lit) = Lit lit -mkSCC cc (Var v) = Var v mkSCC cc (Lam x e) = Lam x (mkSCC cc e) -- Move _scc_ inside lambda mkSCC cc (Note (SCC cc') e) = Note (SCC cc) (Note (SCC cc') e) mkSCC cc (Note n e) = Note n (mkSCC cc e) -- Move _scc_ inside notes -- 1.7.10.4