[commit: ghc] wip/nested-cpr: Fix a lubDmdResult equation (68d6b93)
git at git.haskell.org
git at git.haskell.org
Thu Nov 28 15:52:29 UTC 2013
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/nested-cpr
Link : http://ghc.haskell.org/trac/ghc/changeset/68d6b93e3d969f51cd8b0b0cd1fe95dced03ffff/ghc
>---------------------------------------------------------------
commit 68d6b93e3d969f51cd8b0b0cd1fe95dced03ffff
Author: Joachim Breitner <mail at joachim-breitner.de>
Date: Tue Nov 26 10:17:57 2013 +0000
Fix a lubDmdResult equation
>---------------------------------------------------------------
68d6b93e3d969f51cd8b0b0cd1fe95dced03ffff
compiler/basicTypes/Demand.lhs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/compiler/basicTypes/Demand.lhs b/compiler/basicTypes/Demand.lhs
index 7c95fc0..3851da9 100644
--- a/compiler/basicTypes/Demand.lhs
+++ b/compiler/basicTypes/Demand.lhs
@@ -767,7 +767,7 @@ lubDmdResult :: DmdResult -> DmdResult -> DmdResult
lubDmdResult Diverges (Dunno c2) = Dunno c2
lubDmdResult Diverges Diverges = Diverges
lubDmdResult Diverges (Converges c2) = Dunno c2
-lubDmdResult (Converges c1) Diverges = Converges c1
+lubDmdResult (Converges c1) Diverges = Dunno c1
lubDmdResult (Converges c1) (Converges c2) = Converges (c1 `lubCPR` c2)
lubDmdResult (Converges c1) (Dunno c2) = Dunno (c1 `lubCPR` c2)
lubDmdResult (Dunno c1) Diverges = Dunno c1
More information about the ghc-commits
mailing list