#7410: Type error says that tuple components have kind (* -> *)
----------------------------------------------+-----------------------------
Reporter: benl | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler (Type
checker)
Version: 7.6.1 | Keywords:
Os: Unknown/Multiple | Architecture:
Unknown/Multiple
Failure: Incorrect warning at compile-time | Blockedby:
Blocking: | Related:
----------------------------------------------+-----------------------------
Comment(by simonpj@…):
commit 1135c8439e606b2b0cebd138afbb4c5716f3abcc
{{{
Author: Simon Peyton Jones <simo...@microsoft.com>
Date: Mon Nov 26 12:07:37 2012 +0000
Improve kind inference for tuple types
Trac #7410 pointed out a terrible error message, which is
much improved by this patch.
compiler/main/ErrUtils.lhs | 5 ++++-
compiler/typecheck/TcHsType.lhs | 30 +++++++++++++++++++++---------
2 files changed, 25 insertions(+), 10 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7410#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
