[GHC] #3023: Wrong inferred type shown

[GHC]

#3023: Wrong inferred type shown
---------------------------------+------------------------------------------
    Reporter:  guest             |         Type:  bug                               
      Status:  closed            |     Priority:  normal                            
   Milestone:  _|_               |    Component:  Compiler (Type checker)           
     Version:  6.10.1            |   Resolution:  fixed                             
    Keywords:                    |     Testcase:  indexed-types/should_compile/T3023
   Blockedby:                    |   Difficulty:  Unknown                           
          Os:  Unknown/Multiple  |     Blocking:                                    
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown                      
---------------------------------+------------------------------------------
Changes (by simonpj):

  * testcase:  => indexed-types/should_compile/T3023


Comment:

 Ah yes, I did fix this as part of a recent patch.  Thanks for closing it.
 I'll add a regression test

 Simon

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