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

GHC cvs-ghc at haskell.org
Wed Feb 13 08:11:33 CET 2013


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

Comment(by simonpj):

 Trac #7641 is a simpler example

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



More information about the ghc-tickets mailing list