#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#L... 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