projects
/
ghc-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
f5d0d50e511d25b01b4a7b3f9a28fd28c17c7d0a
[ghc-hetmet.git]
/
ghc
/
compiler
/
typecheck
/
TcExpr.hi-boot-6
1
module TcExpr where
2
3
tcCheckSigma ::
4
HsExpr.LHsExpr Name.Name
5
-> TcType.TcType
6
-> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
7
8
tcCheckRho ::
9
HsExpr.LHsExpr Name.Name
10
-> TcType.TcType
11
-> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
12
13
tcMonoExpr ::
14
HsExpr.LHsExpr Name.Name
15
-> TcUnify.Expected TcType.TcType
16
-> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)