[GHC] #7278: nonsensical kind variable ascription causes panic

[GHC]

#7278: nonsensical kind variable ascription causes panic
--------------------------------+-------------------------------------------
 Reporter:  nfrisby             |          Owner:                         
     Type:  bug                 |         Status:  new                    
 Priority:  normal              |      Component:  Compiler (Type checker)
  Version:  7.6.1               |       Keywords:                         
       Os:  Unknown/Multiple    |   Architecture:  Unknown/Multiple       
  Failure:  Compile-time crash  |       Testcase:                         
Blockedby:                      |       Blocking:                         
  Related:                      |  
--------------------------------+-------------------------------------------

Comment(by simonpj@…):

 commit 7fdc2a39d5c9a7d1be45b6314d480d16810a75ef
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Sat Sep 29 13:37:02 2012 +0100

     Add missing case in TcUnify.matchExpectedFunKind

     This fixes Trac #7278

  compiler/typecheck/TcUnify.lhs |   27 +++++++++++++++------------
  1 files changed, 15 insertions(+), 12 deletions(-)
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7278#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler