#5798: PolyKinds: couldn't match kind `BOX' against `*'
----------------------------------------+-----------------------------------
Reporter: reinerp | Owner:
Type: bug | Status: closed
Priority: normal | Milestone: 7.4.2
Component: Compiler (Type checker) | Version: 7.4.1-rc1
Resolution: fixed | Keywords: PolyKinds
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: GHC rejects valid program | Difficulty: Unknown
Testcase: polykinds/T5798 | Blockedby:
Blocking: | Related:
----------------------------------------+-----------------------------------
Changes (by simonpj):
* status: new => closed
* testcase: => polykinds/T5798
* resolution: => fixed
Comment:
Fixed by
{{{
commit 97741318c541288038c8a564294fed7f0143f586
Author: Simon Peyton Jones <[email protected]>
Date: Wed Feb 1 15:51:30 2012 +0000
When type-checking kinds, be sure to promote list and tuple syntax
This fixes the ASSERT failure in Trac #5833 and type error in #5798
>---------------------------------------------------------------
compiler/prelude/TysWiredIn.lhs | 14 ++++++++++++--
compiler/typecheck/TcHsType.lhs | 31 ++++++++++++++++++-------------
compiler/types/Kind.lhs | 2 +-
compiler/types/TyCon.lhs | 6 +++---
4 files changed, 34 insertions(+), 19 deletions(-)
}}}
Thanks for reporting
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5798#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
