diff options
Diffstat (limited to 'ghc/compiler/deSugar/Match.hi')
| -rw-r--r-- | ghc/compiler/deSugar/Match.hi | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/ghc/compiler/deSugar/Match.hi b/ghc/compiler/deSugar/Match.hi new file mode 100644 index 0000000000..0a1697c708 --- /dev/null +++ b/ghc/compiler/deSugar/Match.hi @@ -0,0 +1,22 @@ +{-# GHC_PRAGMA INTERFACE VERSION 5 #-} +interface Match where +import Bag(Bag) +import CmdLineOpts(GlobalSwitch, SwitchResult) +import CoreSyn(CoreExpr) +import DsMonad(DsMatchContext, DsMatchKind) +import DsUtils(EquationInfo, MatchResult) +import HsMatches(Match) +import HsPat(TypecheckedPat) +import Id(Id) +import PreludePS(_PackedString) +import SplitUniq(SplitUniqSupply) +import SrcLoc(SrcLoc) +import UniType(UniType) +import UniqFM(UniqFM) +match :: [Id] -> [EquationInfo] -> [EquationInfo] -> SplitUniqSupply -> SrcLoc -> (GlobalSwitch -> SwitchResult) -> (_PackedString, _PackedString) -> UniqFM (CoreExpr Id Id) -> Bag DsMatchContext -> (MatchResult, Bag DsMatchContext) + {-# GHC_PRAGMA _A_ 3 _U_ 222222222 _N_ _S_ "SSS" _N_ _N_ #-} +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) + {-# GHC_PRAGMA _A_ 5 _U_ 22222222222 _N_ _S_ "SLLLL" _N_ _N_ #-} +matchWrapper :: DsMatchKind -> [Match Id TypecheckedPat] -> [Char] -> SplitUniqSupply -> SrcLoc -> (GlobalSwitch -> SwitchResult) -> (_PackedString, _PackedString) -> UniqFM (CoreExpr Id Id) -> Bag DsMatchContext -> (([Id], CoreExpr Id Id), Bag DsMatchContext) + {-# GHC_PRAGMA _A_ 3 _U_ 222222222 _N_ _S_ "LSL" _N_ _N_ #-} + |