blob: 5fea21d53dfe37c1507e5d57791f8d9c462a1d47 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
module TcMatches where
import HsSyn ( GRHSs, MatchGroup, LHsExpr )
import TcEvidence( HsWrapper )
import Name ( Name )
import TcType ( TcRhoType )
import TcRnTypes( TcM, TcId )
--import SrcLoc ( Located )
tcGRHSsPat :: GRHSs Name (LHsExpr Name)
-> TcRhoType
-> TcM (GRHSs TcId (LHsExpr TcId))
tcMatchesFun :: Name
-> MatchGroup Name (LHsExpr Name)
-> TcRhoType
-> TcM (HsWrapper, MatchGroup TcId (LHsExpr TcId))
|
