+\subsection{New strictness info}
+%* *
+%************************************************************************
+
+To be removed later
+
+\begin{code}
+mkNewStrictnessInfo :: Id -> Arity -> StrictnessInfo -> CprInfo -> NewDemand.StrictSig
+mkNewStrictnessInfo id arity NoStrictnessInfo cpr
+ = NewDemand.mkStrictSig id
+ arity
+ (NewDemand.mkTopDmdType (replicate arity NewDemand.Lazy) (newRes False cpr))
+
+mkNewStrictnessInfo id arity (StrictnessInfo ds res) cpr
+ = NewDemand.mkStrictSig id
+ arity
+ (NewDemand.mkTopDmdType (take arity (map newDemand ds)) (newRes res cpr))
+ -- Sometimes the old strictness analyser has more
+ -- demands than the arity justifies
+
+newRes True _ = NewDemand.BotRes
+newRes False ReturnsCPR = NewDemand.RetCPR
+newRes False NoCPRInfo = NewDemand.TopRes
+
+newDemand :: Demand -> NewDemand.Demand
+newDemand (WwLazy True) = NewDemand.Abs
+newDemand (WwLazy False) = NewDemand.Lazy
+newDemand WwStrict = NewDemand.Eval
+newDemand (WwUnpack unpk ds) = NewDemand.Seq NewDemand.Drop NewDemand.Now (map newDemand ds)
+newDemand WwPrim = NewDemand.Lazy
+newDemand WwEnum = NewDemand.Eval
+\end{code}
+
+
+%************************************************************************
+%* *