#7272: PolyKinds and mutually recursive modules
------------------------------+---------------------------------------------
Reporter: dreixel | Owner: dreixel
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.6.1 | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Testcase:
Blockedby: | Blocking:
Related: |
------------------------------+---------------------------------------------
Comment(by simonpj@…):
commit 2c207b6f60ba5d271f400747256e4a32ca8f7e63
{{{
Author: Simon Peyton Jones <[email protected]>
Date: Tue Oct 2 18:11:08 2012 +0100
Compare the kinds of type variables when comparing types
This is just a bug that's been around since we introduced
polymorphic kinds. The roots are in Type.cmpTypeX, but
there was a variant in TcRnDriver.checkBootTyCon, which
is where it came up.
Fixes Trac #7272
compiler/typecheck/TcRnDriver.lhs | 71
++++++++++++++++---------------------
compiler/types/Type.lhs | 16 +++++++-
2 files changed, 45 insertions(+), 42 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7272#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
