1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
4 import CmdLineOpts(GlobalSwitch)
5 import ErrsTc(UnifyErrContext)
6 import Pretty(PprStyle, PrettyRep)
7 import SplitUniq(SplitUniqSupply)
10 import TcMonad(TcResult)
11 import UniType(UniType)
12 unifyTauTy :: UniType -> UniType -> UnifyErrContext -> (GlobalSwitch -> Bool) -> [UniType] -> Subst -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> TcResult ()
13 unifyTauTyList :: [UniType] -> UnifyErrContext -> (GlobalSwitch -> Bool) -> [UniType] -> Subst -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> TcResult ()
14 unifyTauTyLists :: [UniType] -> [UniType] -> UnifyErrContext -> (GlobalSwitch -> Bool) -> [UniType] -> Subst -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> TcResult ()