[project @ 2002-03-14 15:47:52 by simonmar]
[ghc-hetmet.git] / ghc / compiler / typecheck / TcMatches.hi-boot-6
1 module TcMatches where
2
3 tcGRHSs ::  HsExpr.HsMatchContext Name.Name
4               -> RnHsSyn.RenamedGRHSs
5               -> TcType.TcType
6               -> TcMonad.TcM (TcHsSyn.TcGRHSs, Inst.LIE)
7
8 tcMatchesFun :: 
9                 [(Name.Name,Var.Id)]
10              -> Name.Name
11              -> TcType.TcType
12              -> [RnHsSyn.RenamedMatch]
13              -> TcMonad.TcM ([TcHsSyn.TcMatch], Inst.LIE)
14