[project @ 2003-06-27 21:17:24 by simonpj]
[ghc-hetmet.git] / ghc / compiler / typecheck / TcExpr.hi-boot-5
1 __interface TcExpr 1 0 where
2 __export TcExpr tcCheckSigma tcCheckRho tcMonoExpr ;
3 1 tcCheckSigma :: 
4           RnHsSyn.RenamedHsExpr
5        -> TcType.TcType
6        -> TcRnTypes.TcM TcHsSyn.TcExpr ;
7 1 tcCheckRho :: 
8           RnHsSyn.RenamedHsExpr
9        -> TcType.TcType
10        -> TcRnTypes.TcM TcHsSyn.TcExpr ;
11 1 tcMonoExpr :: 
12           RnHsSyn.RenamedHsExpr
13        -> TcUnify.Expected TcType.TcType
14        -> TcRnTypes.TcM TcHsSyn.TcExpr ;