[GHC] #7272: PolyKinds and mutually recursive modules

[GHC]

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

Comment(by xnyhps):

 There appears (to me) to be a small typo in this commit, although I can't
 think of any bugs that are caused by it:

 [https://github.com/ghc/ghc/commit/2c207b6f60ba5d271f400747256e4a32ca8f7e63#L1R1231
 compiler/types/Type.lhs:1231]
 {{{
 cmpTypeX env (ForAllTy tv1 t1) (ForAllTy tv2 t2) = cmpTypeX env (tyVarKind
 tv1) (tyVarKind tv1)
 }}}

 It compares `tv1`'s kind to itself, instead of to `tv2`'s kind.

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