See also: the ``library'' for the ``back end'' (@SaBackLib@).
\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 SaLib () where
#else
mkAbsApproxFun d val = AbsApproxFun [d] val
instance Outputable AbsVal where
- ppr AbsTop = ptext SLIT("AbsTop")
- ppr AbsBot = ptext SLIT("AbsBot")
- ppr (AbsProd prod) = hsep [ptext SLIT("AbsProd"), ppr prod]
- ppr (AbsFun bndr_ty body) = ptext SLIT("AbsFun")
+ ppr AbsTop = ptext (sLit "AbsTop")
+ ppr AbsBot = ptext (sLit "AbsBot")
+ ppr (AbsProd prod) = hsep [ptext (sLit "AbsProd"), ppr prod]
+ ppr (AbsFun bndr_ty body) = ptext (sLit "AbsFun")
ppr (AbsApproxFun demands val)
- = ptext SLIT("AbsApprox") <+> brackets (interpp'SP demands) <+> ppr val
+ = ptext (sLit "AbsApprox") <+> brackets (interpp'SP demands) <+> ppr val
\end{code}
%-----------