diff options
| author | partain <unknown> | 1996-03-19 09:11:07 +0000 |
|---|---|---|
| committer | partain <unknown> | 1996-03-19 09:11:07 +0000 |
| commit | 6c381e873e222417d9a67aeec77b9555eca7b7a8 (patch) | |
| tree | 32cbd1de14ff19e21dd48e94051ccbe58b5fbdf5 /ghc/compiler/stranal/SaLib.lhs | |
| parent | 8147a9f0bcc48ef0db1e91f8b985a4f5c3fed560 (diff) | |
| download | haskell-6c381e873e222417d9a67aeec77b9555eca7b7a8.tar.gz | |
[project @ 1996-03-19 08:58:34 by partain]
simonpj/sansom/partain/dnt 1.3 compiler stuff through 96/03/18
Diffstat (limited to 'ghc/compiler/stranal/SaLib.lhs')
| -rw-r--r-- | ghc/compiler/stranal/SaLib.lhs | 14 |
1 files changed, 4 insertions, 10 deletions
diff --git a/ghc/compiler/stranal/SaLib.lhs b/ghc/compiler/stranal/SaLib.lhs index 52f66506ac..c4b7797d26 100644 --- a/ghc/compiler/stranal/SaLib.lhs +++ b/ghc/compiler/stranal/SaLib.lhs @@ -15,20 +15,14 @@ module SaLib ( StrAnalFlags(..), getStrAnalFlags, nullAbsValEnv, addOneToAbsValEnv, growAbsValEnvList, lookupAbsValEnv, - absValFromStrictness, + absValFromStrictness -- and to make the interface self-sufficient... - CoreExpr, Id, IdEnv(..), UniqFM, Unique, - Demand, PlainCoreExpr(..) ) where -import IdEnv import IdInfo ---import FiniteMap -- debugging only import Outputable -import PlainCore import Pretty -import Util -- for pragmas only \end{code} %************************************************************************ @@ -64,7 +58,7 @@ data AbsVal | AbsFun -- An abstract function, with the given: [Id] -- arguments - PlainCoreExpr -- body + CoreExpr -- body AbsValEnv -- and environment | AbsApproxFun -- This is used to represent a coarse @@ -73,7 +67,7 @@ data AbsVal -- argument if the i'th element of the Demand -- list so indicates. -- The list of arguments is always non-empty. - -- In effect, AbsApproxFun [] = AbsTop + -- In effect, AbsApproxFun [] = AbsTop instance Outputable AbsVal where ppr sty AbsTop = ppStr "AbsTop" @@ -91,7 +85,7 @@ instance Outputable AbsVal where An @AbsValEnv@ maps @Ids@ to @AbsVals@. Any unbound @Ids@ are implicitly bound to @AbsTop@, the completely uninformative, -pessimistic value---see @absEval@ of a @CoVar@. +pessimistic value---see @absEval@ of a @Var@. \begin{code} data AbsValEnv = AbsValEnv StrAnalFlags (IdEnv AbsVal) |