1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
2 interface StgSATMonad where
5 import SplitUniq(SplitUniqSupply)
6 import StgSyn(PlainStgExpr(..), StgBinding, StgExpr, StgRhs)
7 import UniType(UniType)
11 type PlainStgExpr = StgExpr Id Id
13 getArgLists :: StgRhs Id Id -> ([Arg UniType], [Arg Id])
14 saTransform :: Id -> StgRhs Id Id -> SplitUniqSupply -> UniqFM ([Arg UniType], [Arg Id]) -> (StgBinding Id Id, UniqFM ([Arg UniType], [Arg Id]))