Re: [GHC] #7272: PolyKinds and mutually recursive modules

10 Jun 2013

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