1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
2 interface BackSubst where
4 import CmdLineOpts(GlobalSwitch)
5 import HsBinds(Bind, Binds, MonoBinds, Sig)
8 import HsMatches(GRHSsAndBinds, Match)
9 import HsPat(TypecheckedPat)
12 import Pretty(PprStyle, PrettyRep)
13 import SplitUniq(SplitUniqSupply)
17 import UniType(UniType)
23 applyTcSubstToBinds :: Binds Id TypecheckedPat -> (GlobalSwitch -> Bool) -> [UniType] -> Subst -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> (Binds Id TypecheckedPat, Subst, Bag (PprStyle -> Int -> Bool -> PrettyRep))