[project @ 1996-01-08 20:28:12 by partain]
[ghc-hetmet.git] / ghc / compiler / typecheck / TcGRHSs.hi
1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
2 interface TcGRHSs where
3 import Bag(Bag)
4 import CmdLineOpts(GlobalSwitch)
5 import E(E)
6 import HsMatches(GRHSsAndBinds)
7 import HsPat(InPat, TypecheckedPat)
8 import Id(Id)
9 import LIE(LIE)
10 import Name(Name)
11 import Pretty(PprStyle, PrettyRep)
12 import SplitUniq(SplitUniqSupply)
13 import SrcLoc(SrcLoc)
14 import Subst(Subst)
15 import TcMonad(TcResult)
16 import UniType(UniType)
17 tcGRHSsAndBinds :: E -> GRHSsAndBinds Name (InPat Name) -> (GlobalSwitch -> Bool) -> [UniType] -> Subst -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> TcResult (GRHSsAndBinds Id TypecheckedPat, LIE, UniType)
18         {-# GHC_PRAGMA _A_ 2 _U_ 21222222 _N_ _S_ "LS" _N_ _N_ #-}
19