[commit: ghc] cardinality: wrong call demand splitting fixed (c02348f)

Ilya Sergey ilya.sergey at cs.kuleuven.be
Fri Jan 18 14:26:02 CET 2013


Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : cardinality

http://hackage.haskell.org/trac/ghc/changeset/c02348fa0f90f514140fcc9f93d300d95af15afe

>---------------------------------------------------------------

commit c02348fa0f90f514140fcc9f93d300d95af15afe
Author: Ilya Sergey <ilya.sergey at gmail.com>
Date:   Fri Jan 18 17:21:08 2013 +0400

    wrong call demand splitting fixed

>---------------------------------------------------------------

 compiler/basicTypes/Demand.lhs |    5 -----
 1 files changed, 0 insertions(+), 5 deletions(-)

diff --git a/compiler/basicTypes/Demand.lhs b/compiler/basicTypes/Demand.lhs
index 56f6702..ae6e016 100644
--- a/compiler/basicTypes/Demand.lhs
+++ b/compiler/basicTypes/Demand.lhs
@@ -533,7 +533,6 @@ peelCallDmd (JD {strd = s, absd = u})
   where
     peel_s (SCall s) = Just s
     peel_s HyperStr  = Just HyperStr
-    peel_s Str       = Just Lazy
     peel_s _         = Nothing
 
     peel_u (UCall c u) = Just (u, c)
@@ -550,10 +549,6 @@ splitCallDmd (JD {strd = SCall d, absd = UCall _ a})
 splitCallDmd (JD {strd = SCall d, absd = Used _}) 
   = case splitCallDmd (mkJointDmd d absTop) of
       (n, r) -> (n + 1, r)
--- Exploiting the fact that C(L) === S
-splitCallDmd (JD {strd = Str, absd = UCall _ a}) 
-  = case splitCallDmd (mkJointDmd top a) of
-      (n, r) -> (n + 1, r)
 splitCallDmd d        = (0, d)
 
 -- see Note [Default semands for right-hand sides]  





More information about the ghc-commits mailing list