[GHC] #7332: Kind-defaulting omitted leads to deeply obscure type error

[GHC]

#7332: Kind-defaulting omitted leads to deeply obscure type error
-------------------------------+--------------------------------------------
  Reporter:  simonpj           |          Owner:                  
      Type:  bug               |         Status:  new             
  Priority:  high              |      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/T7332   |      Blockedby:                  
  Blocking:                    |        Related:                  
-------------------------------+--------------------------------------------
Changes (by guest):

  * owner:  simonpj =>
  * status:  closed => new
  * resolution:  fixed =>


Comment:

 I am sorry to bringing this problem back, but has it really been fixed? I
 have just upgraded
 GHC to 7.6.3 and see exactly the same problem as reported in the original
 ticket. I use exactly the same file and receive the same problematic error
 messages. Perhaps some extra compiler flag is needed?

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