Re: [GHC] #7688: :kind should do kind generalisation

15 Feb 2013

      #7688: :kind should do kind generalisation
---------------------------------+------------------------------------------
    Reporter:  simonpj           |       Owner:                  
        Type:  bug               |      Status:  new             
    Priority:  normal            |   Milestone:  7.8.1           
   Component:  Compiler          |     Version:  7.6.2           
    Keywords:                    |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown    
  Difficulty:  Unknown           |    Testcase:                  
   Blockedby:                    |    Blocking:                  
     Related:                    |  
---------------------------------+------------------------------------------

Comment(by simonpj@…):

 commit ed2108267b93e6abd769192bdc8fe86cefef7a70
 {{{
 Author: Simon Peyton Jones 
 Date:   Fri Feb 15 17:14:36 2013 +0000

     Make :kind in GHCi do kind generalisation, always (Trac #7688)

     See Note [Kind-generalise in tcRnType] in TcRnDriver, and
     the notes in Trac #7688

  compiler/typecheck/TcRnDriver.lhs |   43
 +++++++++++++++++++++++++------------
  1 files changed, 29 insertions(+), 14 deletions(-)
 }}}

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7688#comment:7
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler