compiler: de-lhs typecheck/
[ghc.git] / compiler / typecheck / TcMatches.hs-boot
1 module TcMatches where
2 import HsSyn    ( GRHSs, MatchGroup, LHsExpr )
3 import TcEvidence( HsWrapper )
4 import Name     ( Name )
5 import TcType   ( TcRhoType )
6 import TcRnTypes( TcM, TcId )
7 --import SrcLoc   ( Located )
8
9 tcGRHSsPat    :: GRHSs Name (LHsExpr Name)
10               -> TcRhoType
11               -> TcM (GRHSs TcId (LHsExpr TcId))
12
13 tcMatchesFun :: Name -> Bool
14              -> MatchGroup Name (LHsExpr Name)
15              -> TcRhoType
16              -> TcM (HsWrapper, MatchGroup TcId (LHsExpr TcId))