#5832: PolyKinds03 and PolyKinds13 fail an ASSERT
--------------------------------------+-------------------------------------
Reporter: igloo | Owner: simonpj
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: PolyKinds03 PolyKinds13 | Blockedby:
Blocking: | Related:
--------------------------------------+-------------------------------------
Changes (by simonpj):
* status: new => closed
* resolution: => fixed
Comment:
Fixed by
{{{
commit af26d558fb57150a0035cc72d15f829975db2e9f
Author: Simon Peyton Jones <[email protected]>
Date: Mon Feb 6 08:40:44 2012 +0000
Give promoted DataCons a tyConArity and promoted TyCons a tyConKind
..and fix up Core Lint. (I was getting a bogus Core Lint failure.)
compiler/basicTypes/DataCon.lhs | 93 +++++++++++++++-
compiler/coreSyn/CoreLint.lhs | 231
+++++++++++++++++++++-----------------
compiler/iface/BuildTyCl.lhs | 8 --
compiler/prelude/TysWiredIn.lhs | 10 +-
compiler/typecheck/TcHsType.lhs | 26 ++---
compiler/types/Kind.lhs | 61 +----------
compiler/types/TyCon.lhs | 46 ++++----
7 files changed, 264 insertions(+), 211 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5832#comment:8>
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
