[GHC] #7272: PolyKinds and mutually recursive modules

[GHC]

#7272: PolyKinds and mutually recursive modules
-------------------------------+--------------------------------------------
  Reporter:  dreixel           |          Owner:                  
      Type:  bug               |         Status:  new             
  Priority:  normal            |      Milestone:  7.6.2           
 Component:  Compiler          |        Version:  7.6.1           
Resolution:                    |       Keywords:                  
        Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown      |     Difficulty:  Unknown         
  Testcase:  polykinds/T7272   |      Blockedby:                  
  Blocking:                    |        Related:                  
-------------------------------+--------------------------------------------

Comment(by simonpj@…):

 commit 6ecfa98d7b9860ccf29359d0bb3d6fda1d7c7335
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Tue Jun 11 09:49:20 2013 +0100

     Actually make the change described in 'Fix egregious typo in cmpTypeX'

     I reverted it to try something else and forgot to put it back!
     Fixes Trac #7272 (again!).

  compiler/types/Kind.lhs |   30 ++++++++++++++----------------
  compiler/types/Type.lhs |   14 ++++++--------
  2 files changed, 20 insertions(+), 24 deletions(-)
 }}}

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