[GHC] #7230: GHC states the same kind mismatched

[GHC]

#7230: GHC states the same kind mismatched
-----------------------------------------------+----------------------------
 Reporter:  konn                               |          Owner:                
     Type:  bug                                |         Status:  new           
 Priority:  normal                             |      Component:  Compiler      
  Version:  7.7                                |       Keywords:                
       Os:  MacOS X                            |   Architecture:  x86_64 (amd64)
  Failure:  Incorrect warning at compile-time  |       Testcase:                
Blockedby:                                     |       Blocking:                
  Related:                                     |  
-----------------------------------------------+----------------------------

Comment(by simonpj@…):

 commit c32bb5d0c09a7e55197191f152c6875b398717cf
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Sun Sep 9 07:07:39 2012 +0100

     Remember to zonk the skolems of an implication

     Their kinds may contain kind unification variables!

     This patch fixes Trac #7230.

  compiler/typecheck/TcMType.lhs |   25 ++++++++++++++++++-------
  1 files changed, 18 insertions(+), 7 deletions(-)
 }}}

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