[project @ 1996-01-08 20:28:12 by partain]
[ghc-hetmet.git] / ghc / compiler / deSugar / Match.hi
1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
2 interface Match where
3 import Bag(Bag)
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)
10 import Id(Id)
11 import PreludePS(_PackedString)
12 import SplitUniq(SplitUniqSupply)
13 import SrcLoc(SrcLoc)
14 import UniType(UniType)
15 import UniqFM(UniqFM)
16 match :: [Id] -> [EquationInfo] -> [EquationInfo] -> SplitUniqSupply -> SrcLoc -> (GlobalSwitch -> SwitchResult) -> (_PackedString, _PackedString) -> UniqFM (CoreExpr Id Id) -> Bag DsMatchContext -> (MatchResult, Bag DsMatchContext)
17         {-# GHC_PRAGMA _A_ 3 _U_ 222222222 _N_ _S_ "SSS" _N_ _N_ #-}
18 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)
19         {-# GHC_PRAGMA _A_ 5 _U_ 22222222222 _N_ _S_ "SLLLL" _N_ _N_ #-}
20 matchWrapper :: DsMatchKind -> [Match Id TypecheckedPat] -> [Char] -> SplitUniqSupply -> SrcLoc -> (GlobalSwitch -> SwitchResult) -> (_PackedString, _PackedString) -> UniqFM (CoreExpr Id Id) -> Bag DsMatchContext -> (([Id], CoreExpr Id Id), Bag DsMatchContext)
21         {-# GHC_PRAGMA _A_ 3 _U_ 222222222 _N_ _S_ "LSL" _N_ _N_ #-}
22