ghc/compiler/typecheck/Unify.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface Unify where
   3 import Bag(Bag)
   4 import CmdLineOpts(GlobalSwitch)
   5 import ErrsTc(UnifyErrContext)
   6 import Pretty(PprStyle, PrettyRep)
   7 import SplitUniq(SplitUniqSupply)
   8 import SrcLoc(SrcLoc)
   9 import Subst(Subst)
  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         {-# GHC_PRAGMA _A_ 3 _U_ 222222222 _N_ _S_ "SSL" _N_ _N_ #-}
  14 unifyTauTyList :: [UniType] -> UnifyErrContext -> (GlobalSwitch -> Bool) -> [UniType] -> Subst -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> TcResult ()
  15         {-# GHC_PRAGMA _A_ 2 _U_ 12222222 _N_ _S_ "SL" _N_ _N_ #-}
  16 unifyTauTyLists :: [UniType] -> [UniType] -> UnifyErrContext -> (GlobalSwitch -> Bool) -> [UniType] -> Subst -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> TcResult ()
  17         {-# GHC_PRAGMA _A_ 3 _U_ 112222222 _N_ _S_ "SSL" _N_ _N_ #-}
  18