#6081: Kind variables not allowed in class instance declarations
------------------------------+---------------------------------------------
Reporter: goldfire | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler (Type checker)
Version: 7.5 | Keywords: PolyKinds
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Testcase:
Blockedby: | Blocking:
Related: #6064 |
------------------------------+---------------------------------------------
Comment(by simonpj@…):
commit fc8959acae02605c71b775c8d403e38b5cc6fecd
{{{
Author: Simon Peyton Jones <simo...@microsoft.com>
Date: Fri May 11 18:02:18 2012 +0100
Refactor LHsTyVarBndrs to fix Trac #6081
This is really a small change, but it touches a lot of files quite
significantly. The real goal is to put the implicitly-bound kind
variables of a data/class decl in the right place, namely on the
LHsTyVarBndrs type, which now looks like
data LHsTyVarBndrs name
= HsQTvs { hsq_kvs :: [Name]
, hsq_tvs :: [LHsTyVarBndr name]
}
This little change made the type checker neater in a number of
ways, but it was fiddly to push through the changes.
compiler/deSugar/DsMeta.hs | 43 +++---
compiler/hsSyn/Convert.lhs | 22 ++--
compiler/hsSyn/HsDecls.lhs | 32 ++--
compiler/hsSyn/HsPat.lhs | 4 +-
compiler/hsSyn/HsTypes.lhs | 126 +++++++++--------
compiler/hsSyn/HsUtils.lhs | 5 +-
compiler/parser/Parser.y.pp | 8 +-
compiler/parser/ParserCore.y | 10 +-
compiler/parser/RdrHsSyn.lhs | 25 ++--
compiler/rename/RnBinds.lhs | 2 +-
compiler/rename/RnEnv.lhs | 17 ++-
compiler/rename/RnPat.lhs | 4 +-
compiler/rename/RnSource.lhs | 81 +++++------
compiler/rename/RnTypes.lhs | 264
+++++++++++++++++++++--------------
compiler/typecheck/TcEvidence.lhs | 3 +-
compiler/typecheck/TcHsType.lhs | 41 +++---
compiler/typecheck/TcRnDriver.lhs | 9 +-
compiler/typecheck/TcSMonad.lhs | 61 ++++----
compiler/typecheck/TcTyClsDecls.lhs | 31 ++--
19 files changed, 422 insertions(+), 366 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6081#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
