[GHC] #6054: Couldn't match kind `BOX' against `*' when using SOURCE import

[GHC]

#6054: Couldn't match kind `BOX' against `*' when using SOURCE import
------------------------------+---------------------------------------------
 Reporter:  atnnn             |          Owner:                  
     Type:  bug               |         Status:  new             
 Priority:  normal            |      Component:  Compiler        
  Version:  7.4.1             |       Keywords:                  
       Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
  Failure:  None/Unknown      |       Testcase:                  
Blockedby:                    |       Blocking:                  
  Related:                    |  
------------------------------+---------------------------------------------

Comment(by simonpj@…):

 commit e57c8667363a60164b3505f22ddd25a9d5be32f5
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Mon Apr 30 13:40:23 2012 +0100

     Make the interface-file deserialisation work right for promoted types
 (Trac #6054)

     GHC currently uses the slightly-dodgy plan that when we proote
     a TyCon to be a Kind constructor we leave it with the same Name.

     That means that to make sense of a IfaceType we need to know wheter
     it is really an IfaceType or an IfaceKind, because in the latter an
     occurrence of (say) Maybe will be the *promoted* Maybe.

     See Note [Checking IfaceTypes vs IfaceKinds] in TcIface

  compiler/iface/TcIface.lhs |   73
 +++++++++++++++++++++++++++++++++++++++----
  1 files changed, 66 insertions(+), 7 deletions(-)
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6054#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler