Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : new-demand
http://hackage.haskell.org/trac/ghc/changeset/7915fe28456ac900d378b8f27e34ea9120dbeb74 >--------------------------------------------------------------- commit 7915fe28456ac900d378b8f27e34ea9120dbeb74 Author: Ilya Sergey <[email protected]> Date: Thu Jul 5 13:52:23 2012 +0100 cleanup >--------------------------------------------------------------- compiler/basicTypes/NewDemand.lhs | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/compiler/basicTypes/NewDemand.lhs b/compiler/basicTypes/NewDemand.lhs index f7d0c09..7027ea7 100644 --- a/compiler/basicTypes/NewDemand.lhs +++ b/compiler/basicTypes/NewDemand.lhs @@ -47,14 +47,14 @@ class LatticeLike a where both :: a -> a -> a -- False < True -instance Lattice Bool where +instance LatticeLike Bool where bot = False top = True +-- x `pre` y <==> (x => y) pre x y = (not x) || y lub = (||) both = (&&) - \end{code} @@ -376,7 +376,7 @@ cprSig = StrictSig cprDmdType -- appIsBottom returns true if an application to n args would diverge appIsBottom :: StrictSig -> Int -> Bool -appIsBottom (StrictSig (DmdType _ ds BotRes)) n = length ds <= n +appIsBottom (StrictSig (DmdType _ ds BotRes)) n = not $ lengthExceeds ds n appIsBottom _ _ = False isBottomingSig :: StrictSig -> Bool _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
