#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 simonpj@…): commit 0239d783bcda0fb0e45df7b40159d6ad29bfab63 {{{ Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Mon Jun 10 11:57:06 2013 +0100 Fix egregious typo in cmpTypeX Reported in Trac #7272. "tv1" should be "tv2"! However, things weren't as simple as they sound, because treating (x:Open) as different from (x:*) gave rise to new failures; see Note [Comparison with OpenTypeKind] in Type. My hacky solution is to treat OpenKind as equal to * and #, at least in Core etc. Hence the faff in Type.cmpTc. I do not like this. But it seems like another messy consequence of including sub-kinding. Sigh. compiler/typecheck/TcSimplify.lhs | 6 ++---- compiler/types/Kind.lhs | 14 +++++++++----- compiler/types/Type.lhs | 28 ++++++++++++++++++++++++---- 3 files changed, 35 insertions(+), 13 deletions(-) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7272#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler