[project @ 1996-01-11 14:06:51 by partain]
[ghc-hetmet.git] / ghc / compiler / typecheck / TcContext.hi
1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
2 interface TcContext where
3 import Bag(Bag)
4 import Class(Class)
5 import CmdLineOpts(GlobalSwitch)
6 import Name(Name)
7 import Pretty(PprStyle, PrettyRep)
8 import SplitUniq(SplitUniqSupply)
9 import SrcLoc(SrcLoc)
10 import TcMonad(Baby_TcResult)
11 import TyCon(TyCon)
12 import UniType(UniType)
13 import UniqFM(UniqFM)
14 tcContext :: UniqFM Class -> UniqFM TyCon -> UniqFM UniType -> [(Name, Name)] -> (GlobalSwitch -> Bool) -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> Baby_TcResult [(Class, UniType)]
15