blob: 1e443af024c33a16a46eb9ef07ecf2d1570a55ce (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
interface StgSATMonad where
import Id(Id)
import SATMonad(Arg)
import SplitUniq(SplitUniqSupply)
import StgSyn(PlainStgExpr(..), StgBinding, StgExpr, StgRhs)
import UniType(UniType)
import UniqFM(UniqFM)
data Id
data SplitUniqSupply
type PlainStgExpr = StgExpr Id Id
data UniType
getArgLists :: StgRhs Id Id -> ([Arg UniType], [Arg Id])
saTransform :: Id -> StgRhs Id Id -> SplitUniqSupply -> UniqFM ([Arg UniType], [Arg Id]) -> (StgBinding Id Id, UniqFM ([Arg UniType], [Arg Id]))
|
