[project @ 1996-01-08 20:28:12 by partain]
[ghc-hetmet.git] / ghc / compiler / typecheck / TcPolyType.hi
1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
2 interface TcPolyType where
3 import Bag(Bag)
4 import Class(Class)
5 import CmdLineOpts(GlobalSwitch)
6 import HsTypes(PolyType)
7 import Name(Name)
8 import Pretty(PprStyle, PrettyRep)
9 import SplitUniq(SplitUniqSupply)
10 import SrcLoc(SrcLoc)
11 import TcMonad(Baby_TcResult)
12 import TyCon(TyCon)
13 import UniType(UniType)
14 import UniqFM(UniqFM)
15 tcPolyType :: UniqFM Class -> UniqFM TyCon -> UniqFM UniType -> PolyType Name -> (GlobalSwitch -> Bool) -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> Baby_TcResult UniType
16         {-# GHC_PRAGMA _A_ 4 _U_ 22212222 _N_ _S_ "LLLS" _N_ _N_ #-}
17