[GHC] #2846: Impredicativity bug: GHC crash by type signature

[GHC]

#2846: Impredicativity bug: GHC crash by type signature
---------------------------------+------------------------------------------
    Reporter:  mm_freak          |        Owner:  simonpj      
        Type:  bug               |       Status:  new          
    Priority:  low               |    Milestone:  7.0.1        
   Component:  Compiler          |      Version:  6.10.1       
    Keywords:  crash, type       |     Testcase:  T2846, T2846b
   Blockedby:                    |   Difficulty:  Unknown      
          Os:  Unknown/Multiple  |     Blocking:               
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown 
---------------------------------+------------------------------------------
Changes (by igloo):

  * owner:  => simonpj
  * testcase:  => T2846, T2846b


Comment:

 Thanks, I've added a test.

 Simon, is the current behaviour OK - i.e. can we close this ticket?

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