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

[GHC]

#2846: Impredicativity bug: GHC crash by type signature
---------------------------------+------------------------------------------
    Reporter:  mm_freak          |        Owner:                  
        Type:  bug               |       Status:  new             
    Priority:  normal            |    Milestone:  6.12 branch     
   Component:  Compiler          |      Version:  6.10.1          
    Severity:  major             |   Resolution:                  
    Keywords:  crash, type       |   Difficulty:  Unknown         
    Testcase:                    |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
---------------------------------+------------------------------------------
Comment (by simonpj):

 Thanks.  FWIW, we did not remove `-XImpredicativeTypes` from `-fglasgow-
 exts` in 6.10.2, because that's an interface change.  But it's gone from
 `-fglasgow-exts` in the HEAD.

 Cleaning the impredicative stables is still in the pipeline for 6.12.

 Simon

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