ghc/compiler/simplCore/SAT.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface SAT where
   3 import BasicLit(BasicLit)
   4 import CoreSyn(CoreAtom, CoreBinding, CoreCaseAlternatives, CoreExpr)
   5 import CostCentre(CostCentre)
   6 import Id(Id)
   7 import PlainCore(PlainCoreProgram(..))
   8 import PrimOps(PrimOp)
   9 import SplitUniq(SplitUniqSupply)
  10 import TyVar(TyVar)
  11 import UniType(UniType)
  12 data CoreBinding a b
  13 data CoreExpr a b
  14 data Id
  15 type PlainCoreProgram = [CoreBinding Id Id]
  16 doStaticArgs :: [CoreBinding Id Id] -> SplitUniqSupply -> [CoreBinding Id Id]
  17