#5833: PolyKinds10 fails an assert
-------------------------------+--------------------------------------------
Reporter: igloo | Owner:
Type: bug | Status: closed
Priority: normal | Milestone: 7.6.1
Component: Compiler | Version: 7.4.1-rc2
Resolution: fixed | Keywords: PolyKinds
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Difficulty: Unknown
Testcase: PolyKinds10 | Blockedby:
Blocking: | Related:
-------------------------------+--------------------------------------------
Changes (by simonpj):
* status: new => closed
* 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/5833#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
