import Constants ( wORD_SIZE )\r
import FastString ( mkFastString )\r
import Outputable\r
+import Maybes\r
import Panic\r
\r
import GHC.Arr ( Array(..) )\r
import Control.Monad ( liftM, liftM2, msum )\r
import Data.Maybe\r
import Data.List\r
-import Data.Traversable ( mapM )\r
import Data.Array.Base\r
import Foreign.Storable\r
import Foreign ( unsafePerformIO )\r
\r
-import Prelude hiding ( mapM )\r
-\r
---------------------------------------------\r
-- * A representation of semi evaluated Terms\r
---------------------------------------------\r
fTerm = \ty dc v tt -> sequence tt >>= \tt ->\r
zonkTcType ty >>= \ty' ->\r
return (Term ty' dc v tt)\r
- ,fSuspension = \ct ty v b -> mapM zonkTcType ty >>= \ty ->\r
+ ,fSuspension = \ct ty v b -> fmapMMaybe zonkTcType ty >>= \ty ->\r
return (Suspension ct ty v b)} \r
\r
{-\r