1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
2 interface Disambig where
5 import CmdLineOpts(GlobalSwitch)
6 import ErrUtils(Error(..))
8 import Inst(Inst, InstOrigin, OverloadedLit)
9 import Pretty(PprStyle, Pretty(..), PrettyRep)
10 import SplitUniq(SplitUniqSupply)
13 import TcMonad(TcResult)
14 import UniType(UniType)
15 import Unique(Unique, UniqueSupply)
17 type Error = PprStyle -> Int -> Bool -> PrettyRep
20 type Pretty = Int -> Bool -> PrettyRep
26 disambiguateDicts :: [Inst] -> (GlobalSwitch -> Bool) -> [UniType] -> Subst -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> TcResult ()