projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 2004-09-02 15:18:34 by simonpj]
[ghc-hetmet.git]
/
ghc
/
compiler
/
basicTypes
/
NewDemand.lhs
diff --git
a/ghc/compiler/basicTypes/NewDemand.lhs
b/ghc/compiler/basicTypes/NewDemand.lhs
index
9da7b7e
..
4b58fd5
100644
(file)
--- a/
ghc/compiler/basicTypes/NewDemand.lhs
+++ b/
ghc/compiler/basicTypes/NewDemand.lhs
@@
-10,7
+10,7
@@
module NewDemand(
isTop, isAbsent, seqDemand,
DmdType(..), topDmdType, botDmdType, mkDmdType, mkTopDmdType,
isTop, isAbsent, seqDemand,
DmdType(..), topDmdType, botDmdType, mkDmdType, mkTopDmdType,
- dmdTypeDepth, dmdTypeRes, seqDmdType,
+ dmdTypeDepth, seqDmdType,
DmdEnv, emptyDmdEnv,
DmdResult(..), retCPR, isBotRes, returnsCPR, resTypeArgDmd,
DmdEnv, emptyDmdEnv,
DmdResult(..), retCPR, isBotRes, returnsCPR, resTypeArgDmd,
@@
-18,7
+18,7
@@
module NewDemand(
StrictSig(..), mkStrictSig, topSig, botSig, cprSig,
isTopSig,
StrictSig(..), mkStrictSig, topSig, botSig, cprSig,
isTopSig,
- splitStrictSig, strictSigResInfo,
+ splitStrictSig,
pprIfaceStrictSig, appIsBottom, isBottomingSig, seqStrictSig,
) where
pprIfaceStrictSig, appIsBottom, isBottomingSig, seqStrictSig,
) where
@@
-242,9
+242,6
@@
mkTopDmdType ds res = DmdType emptyDmdEnv ds res
dmdTypeDepth :: DmdType -> Arity
dmdTypeDepth (DmdType _ ds _) = length ds
dmdTypeDepth :: DmdType -> Arity
dmdTypeDepth (DmdType _ ds _) = length ds
-
-dmdTypeRes :: DmdType -> DmdResult
-dmdTypeRes (DmdType _ _ res_ty) = res_ty
\end{code}
\end{code}
@@
-295,9
+292,6
@@
mkStrictSig dmd_ty = StrictSig dmd_ty
splitStrictSig :: StrictSig -> ([Demand], DmdResult)
splitStrictSig (StrictSig (DmdType _ dmds res)) = (dmds, res)
splitStrictSig :: StrictSig -> ([Demand], DmdResult)
splitStrictSig (StrictSig (DmdType _ dmds res)) = (dmds, res)
-strictSigResInfo :: StrictSig -> DmdResult
-strictSigResInfo (StrictSig (DmdType _ _ res)) = res
-
isTopSig (StrictSig ty) = isTopDmdType ty
topSig, botSig, cprSig :: StrictSig
isTopSig (StrictSig ty) = isTopDmdType ty
topSig, botSig, cprSig :: StrictSig