#6035: Kind-indexed type family failure with polymorphic kinds
------------------------------+---------------------------------------------
Reporter: goldfire | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler (Type checker)
Version: 7.5 | Keywords: PolyKinds TypeFamilies
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Testcase:
Blockedby: | Blocking:
Related: |
------------------------------+---------------------------------------------
Comment(by simonpj@…):
commit 2316a90da6e78349874a181baa762ef60c80333e
{{{
Author: Simon Peyton Jones <simo...@microsoft.com>
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/6035#comment:2>
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
