projects
/
ghc-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Massive patch for the first months work adding System FC to GHC #4
[ghc-hetmet.git]
/
compiler
/
typecheck
/
TcExpr.lhs-boot
1
\begin{code}
2
module TcExpr where
3
import HsSyn ( HsExpr, LHsExpr )
4
import Name ( Name )
5
import TcType ( TcType, TcRhoType, BoxySigmaType, BoxyRhoType )
6
import TcRnTypes( TcM, TcId, InstOrigin )
7
8
tcPolyExpr ::
9
LHsExpr Name
10
-> BoxySigmaType
11
-> TcM (LHsExpr TcId)
12
13
tcMonoExpr ::
14
LHsExpr Name
15
-> BoxyRhoType
16
-> TcM (LHsExpr TcId)
17
18
tcInferRho ::
19
LHsExpr Name
20
-> TcM (LHsExpr TcId, TcRhoType)
21
22
tcSyntaxOp ::
23
InstOrigin
24
-> HsExpr Name
25
-> TcType
26
-> TcM (HsExpr TcId)
27
\end{code}