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