#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@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