Commit f8dfc857 authored by simonpj's avatar simonpj
Browse files

[project @ 2004-12-15 15:28:39 by simonpj]

Comments only
parent ab3e6dba
......@@ -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' ->
-- 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
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment