Reorganisation of the source tree
[ghc-hetmet.git] / compiler / typecheck / TcExpr.hi-boot-5
1 __interface TcExpr 1 0 where
2 __export TcExpr tcCheckSigma tcCheckRho tcMonoExpr ;
3 1 tcCheckSigma :: 
4           HsExpr.LHsExpr Name.Name
5        -> TcType.TcType
6        -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id) ;
7
8 1 tcCheckRho :: 
9           HsExpr.LHsExpr Name.Name
10        -> TcType.TcType
11        -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id) ;
12
13 1 tcMonoExpr :: 
14           HsExpr.LHsExpr Name.Name
15        -> TcUnify.Expected TcType.TcType
16        -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id) ;