blob: 18a79fa9846a568a9555ad2adcf7a6f331ca7ae8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
\begin{code}
module TcMatches where
import HsSyn ( GRHSs, MatchGroup, ExprCoFn )
import Name ( Name )
import Var ( Id )
import TcType ( BoxyRhoType )
import TcRnTypes( TcM )
tcGRHSsPat :: GRHSs Name
-> BoxyRhoType
-> TcM (GRHSs Id)
tcMatchesFun :: Name
-> MatchGroup Name
-> BoxyRhoType
-> TcM (ExprCoFn, MatchGroup Id)
\end{code}
|