[GHC] #7873: A poly-kinded newtype existential crisis

[GHC]

#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 at 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 at 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