1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
4 import CmdLineOpts(GlobalSwitch)
7 import HsPat(InPat, TypecheckedPat)
11 import Pretty(PprStyle, PrettyRep)
12 import SplitUniq(SplitUniqSupply)
15 import TcMonad(TcResult)
16 import UniType(UniType)
17 tcExpr :: E -> Expr Name (InPat Name) -> (GlobalSwitch -> Bool) -> [UniType] -> Subst -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> TcResult (Expr Id TypecheckedPat, LIE, UniType)