#6036: Kind generalization fails in data family instance GADT
---------------------------------------+------------------------------------
Reporter: goldfire | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler (Type
checker)
Version: 7.5 | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: GHC rejects valid program | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------------+------------------------------------
Comment(by simonpj@…):
commit 2316a90da6e78349874a181baa762ef60c80333e
{{{
Author: Simon Peyton Jones <[email protected]>
Date: Wed Apr 25 12:56:44 2012 +0100
More fixes to kind polymorphism, fixes Trac #6035, #6036
* Significant refactoring in tcFamPats and tcConDecl
* It seems that we have to allow KindVars (not just
TcKindVars during kind unification. See
Note [Unifying kind variables] in TcUnify.
* Be consistent about zonkQuantifiedTyVars
* Split the TcType->TcType zonker (in TcMType)
from the TcType->Type zonker (in TcHsSyn)
The clever parameterisation was doing my head in,
and it's only a small function
* Remove some dead code (tcTyVarBndrsGen)
compiler/ghci/RtClosureInspect.hs | 4 +-
compiler/typecheck/FamInst.lhs | 11 ++--
compiler/typecheck/TcHsSyn.lhs | 90 ++++++++++++++++-----------
compiler/typecheck/TcHsType.lhs | 65 ++++++++-----------
compiler/typecheck/TcMType.lhs | 79 ++++++++---------------
compiler/typecheck/TcTyClsDecls.lhs | 120
+++++++++++++++++++---------------
compiler/typecheck/TcUnify.lhs | 67 +++++++++++---------
7 files changed, 221 insertions(+), 215 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6036#comment:3>
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
