projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
remove empty dir
[ghc-hetmet.git]
/
ghc
/
compiler
/
stranal
/
SaLib.lhs
diff --git
a/ghc/compiler/stranal/SaLib.lhs
b/ghc/compiler/stranal/SaLib.lhs
index
813410c
..
338a351
100644
(file)
--- a/
ghc/compiler/stranal/SaLib.lhs
+++ b/
ghc/compiler/stranal/SaLib.lhs
@@
-6,6
+6,10
@@
See also: the ``library'' for the ``back end'' (@SaBackLib@).
\begin{code}
See also: the ``library'' for the ``back end'' (@SaBackLib@).
\begin{code}
+#ifndef OLD_STRICTNESS
+module SaLib () where
+#else
+
module SaLib (
AbsVal(..),
AnalysisKind(..),
module SaLib (
AbsVal(..),
AnalysisKind(..),
@@
-18,12
+22,10
@@
module SaLib (
#include "HsVersions.h"
#include "HsVersions.h"
-import Id ( Id )
import Type ( Type )
import Type ( Type )
-import CoreSyn ( CoreExpr )
import VarEnv
import IdInfo ( StrictnessInfo(..) )
import VarEnv
import IdInfo ( StrictnessInfo(..) )
-import Demand ( Demand, pprDemands )
+import Demand ( Demand )
import Outputable
\end{code}
import Outputable
\end{code}
@@
-39,7
+41,7
@@
import Outputable
data AnalysisKind
= StrAnal -- We're doing strictness analysis
| AbsAnal -- We're doing absence analysis
data AnalysisKind
= StrAnal -- We're doing strictness analysis
| AbsAnal -- We're doing absence analysis
- deriving Text
+ deriving Show
\end{code}
@AbsVal@ is the data type of HNF abstract values.
\end{code}
@AbsVal@ is the data type of HNF abstract values.
@@
-52,7
+54,7
@@
data AbsVal
| AbsBot -- An expression whose abstract value is
-- AbsBot is sure to fail to terminate.
-- AbsBot represents the abstract
| AbsBot -- An expression whose abstract value is
-- AbsBot is sure to fail to terminate.
-- AbsBot represents the abstract
- -- *function* bottom too.
+ -- *function* bottom too.
| AbsProd [AbsVal] -- (Lifted) product of abstract values
-- "Lifted" means that AbsBot is *different* from
| AbsProd [AbsVal] -- (Lifted) product of abstract values
-- "Lifted" means that AbsBot is *different* from
@@
-122,3
+124,7
@@
absValFromStrictness anal (StrictnessInfo args_info bot_result)
StrAnal -> AbsBot
AbsAnal -> AbsTop
\end{code}
StrAnal -> AbsBot
AbsAnal -> AbsTop
\end{code}
+
+\begin{code}
+#endif /* OLD_STRICTNESS */
+\end{code}