1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
4 import CmdLineOpts(GlobalSwitch, SwitchResult)
5 import CoreSyn(CoreExpr)
6 import DsMonad(DsMatchContext, DsMatchKind)
7 import DsUtils(EquationInfo, MatchResult)
8 import HsMatches(Match)
9 import HsPat(TypecheckedPat)
11 import PreludePS(_PackedString)
12 import SplitUniq(SplitUniqSupply)
14 import UniType(UniType)
16 match :: [Id] -> [EquationInfo] -> [EquationInfo] -> SplitUniqSupply -> SrcLoc -> (GlobalSwitch -> SwitchResult) -> (_PackedString, _PackedString) -> UniqFM (CoreExpr Id Id) -> Bag DsMatchContext -> (MatchResult, Bag DsMatchContext)
17 matchSimply :: CoreExpr Id Id -> TypecheckedPat -> UniType -> CoreExpr Id Id -> CoreExpr Id Id -> SplitUniqSupply -> SrcLoc -> (GlobalSwitch -> SwitchResult) -> (_PackedString, _PackedString) -> UniqFM (CoreExpr Id Id) -> Bag DsMatchContext -> (CoreExpr Id Id, Bag DsMatchContext)
18 matchWrapper :: DsMatchKind -> [Match Id TypecheckedPat] -> [Char] -> SplitUniqSupply -> SrcLoc -> (GlobalSwitch -> SwitchResult) -> (_PackedString, _PackedString) -> UniqFM (CoreExpr Id Id) -> Bag DsMatchContext -> (([Id], CoreExpr Id Id), Bag DsMatchContext)