1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
2 interface TcTyDecls where
4 import CmdLineOpts(GlobalSwitch)
6 import FiniteMap(FiniteMap)
7 import HsDecls(DataTypeSig, TyDecl)
11 import Pretty(PprStyle, PrettyRep)
12 import SplitUniq(SplitUniqSupply)
14 import TcMonad(Baby_TcResult)
16 import UniType(UniType)
18 tcTyDecls :: E -> (Name -> Bool) -> (Name -> [DataTypeSig Name]) -> [TyDecl Name] -> (GlobalSwitch -> Bool) -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> Baby_TcResult (UniqFM TyCon, [(Name, Id)], FiniteMap TyCon [[Labda UniType]])
19 {-# GHC_PRAGMA _A_ 4 _U_ 22212222 _N_ _S_ "LLLS" _N_ _N_ #-}