[project @ 2002-02-11 15:16:25 by simonpj]
[ghc-hetmet.git] / ghc / compiler / typecheck / TcMatches.hi-boot
1 _interface_ TcMatches 2
2 _exports_
3 TcMatches tcGRHSs tcMatchesFun;
4 _declarations_
5 2 tcGRHSs _:_ _forall_ [s] => 
6               HsExpr.HsMatchContext Name.Name
7               -> RnHsSyn.RenamedGRHSs
8               -> TcType.TcType
9               -> TcMonad.TcM s (TcHsSyn.TcGRHSs, Inst.LIE) ;;
10 3 tcMatchesFun _:_ _forall_ [s] => 
11                 [(Name.Name,Var.Id)]
12              -> Name.Name
13              -> TcType.TcType
14              -> [RnHsSyn.RenamedMatch]
15              -> TcMonad.TcM s ([TcHsSyn.TcMatch], Inst.LIE) ;;
16