projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
db50313
)
Fix hi-boot file for earlier versions of GHC
author
simonpj@microsoft.com
<unknown>
Fri, 27 Jan 2006 17:50:40 +0000
(17:50 +0000)
committer
simonpj@microsoft.com
<unknown>
Fri, 27 Jan 2006 17:50:40 +0000
(17:50 +0000)
ghc/compiler/typecheck/TcExpr.hi-boot-6
patch
|
blob
|
history
diff --git
a/ghc/compiler/typecheck/TcExpr.hi-boot-6
b/ghc/compiler/typecheck/TcExpr.hi-boot-6
index
a7dc32d
..
5a0fa8c
100644
(file)
--- a/
ghc/compiler/typecheck/TcExpr.hi-boot-6
+++ b/
ghc/compiler/typecheck/TcExpr.hi-boot-6
@@
-1,24
+1,19
@@
module TcExpr where
module TcExpr where
-tcCheckSigma ::
+tcPolyExpr ::
HsExpr.LHsExpr Name.Name
HsExpr.LHsExpr Name.Name
- -> TcType.TcType
+ -> TcType.BoxySigmaType
-> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
-> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
-tcCheckRho ::
+tcMonoExpr ::
HsExpr.LHsExpr Name.Name
HsExpr.LHsExpr Name.Name
- -> TcType.TcType
+ -> TcType.BoxyRhoType
-> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
tcInferRho ::
HsExpr.LHsExpr Name.Name
-> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id, TcType.TcType)
-> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
tcInferRho ::
HsExpr.LHsExpr Name.Name
-> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id, TcType.TcType)
-tcMonoExpr ::
- HsExpr.LHsExpr Name.Name
- -> TcType.Expected TcType.TcType
- -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
-
tcSyntaxOp ::
TcRnTypes.InstOrigin
-> HsExpr.HsExpr Name.Name
tcSyntaxOp ::
TcRnTypes.InstOrigin
-> HsExpr.HsExpr Name.Name