#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