#7873: A poly-kinded newtype existential crisis ----------------------------------------+----------------------------------- Reporter: ekmett | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHC rejects valid program | Difficulty: Unknown Testcase: ghci/scripts/T7873 | Blockedby: Blocking: | Related: ----------------------------------------+----------------------------------- Changes (by simonpj): * status: new => closed * testcase: => ghci/scripts/T7873 * resolution: => fixed Comment: This commit fixes the bugs I mention above {{{ commit 7a7530a9d4f7cb630ab8d69dd12324e1bf61faed Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Thu May 2 17:28:20 2013 +0100 Fix kind quantification (again) We simply weren't quantifying kind variables at the points we were claiming. In paritcular, in forall (a:k). blah we quantify the 'k' around the 'forall a', provided k isn't already in scope compiler/hsSyn/HsTypes.lhs | 6 ++--- compiler/rename/RnTypes.lhs | 12 ++++------ compiler/typecheck/TcHsType.lhs | 37 +++++++++++++++++------------ compiler/typecheck/TcInteract.lhs | 50 +++++++++++++++++++++++++++------------ compiler/typecheck/TcMType.lhs | 11 ++++++++- compiler/typecheck/TcSMonad.lhs | 16 +++++++------ 6 files changed, 84 insertions(+), 48 deletions(-) }}} while this improves the docs {{{ commit 3722f034d0907fcd20179ce4dd91e53c51d4e87f Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Thu May 2 17:06:13 2013 +0100 Improve documentation of kind polymorphism }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7873#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler