constructed product result}
\begin{code}
-{-# OPTIONS -w #-}
--- The above warning supression flag is a temporary kludge.
--- While working on this module you are encouraged to remove it and fix
--- any warnings in the module. See
--- http://hackage.haskell.org/trac/ghc/wiki/Commentary/CodingStyle#Warnings
--- for details
-
#ifndef OLD_STRICTNESS
module CprAnalyse ( ) where
-- For pretty debugging
instance Outputable AbsVal where
- ppr Top = ptext SLIT("Top")
- ppr (Fun r) = ptext SLIT("Fun->") <> (parens.ppr) r
- ppr Tuple = ptext SLIT("Tuple ")
- ppr Bot = ptext SLIT("Bot")
+ ppr Top = ptext (sLit "Top")
+ ppr (Fun r) = ptext (sLit "Fun->") <> (parens.ppr) r
+ ppr Tuple = ptext (sLit "Tuple ")
+ ppr Bot = ptext (sLit "Bot")
-- lub takes the lowest upper bound of two abstract values, standard.