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:
ab3e6db
)
[project @ 2004-12-15 15:28:39 by simonpj]
author
simonpj
<unknown>
Wed, 15 Dec 2004 15:28:39 +0000
(15:28 +0000)
committer
simonpj
<unknown>
Wed, 15 Dec 2004 15:28:39 +0000
(15:28 +0000)
Comments only
ghc/compiler/typecheck/TcExpr.lhs
patch
|
blob
|
history
diff --git
a/ghc/compiler/typecheck/TcExpr.lhs
b/ghc/compiler/typecheck/TcExpr.lhs
index
ce7162c
..
615a4b0
100644
(file)
--- a/
ghc/compiler/typecheck/TcExpr.lhs
+++ b/
ghc/compiler/typecheck/TcExpr.lhs
@@
-191,6
+191,9
@@
tc_expr (HsLit lit) res_ty = tcLit lit res_ty
tc_expr (HsOverLit lit) res_ty
= zapExpectedType res_ty liftedTypeKind `thenM` \ res_ty' ->
tc_expr (HsOverLit lit) res_ty
= zapExpectedType res_ty liftedTypeKind `thenM` \ res_ty' ->
+ -- Overloaded literals must have liftedTypeKind, because
+ -- we're instantiating an overloaded function here,
+ -- whereas res_ty might be openTypeKind. This was a bug in 6.2.2
newOverloadedLit (LiteralOrigin lit) lit res_ty' `thenM` \ lit_expr ->
returnM (unLoc lit_expr) -- ToDo: nasty unLoc
newOverloadedLit (LiteralOrigin lit) lit res_ty' `thenM` \ lit_expr ->
returnM (unLoc lit_expr) -- ToDo: nasty unLoc