[GHC] #4856: Performance regression in the type checker regression for GADTs and type families

[GHC]

#4856: Performance regression in the type checker regression for GADTs and type
families
---------------------------------+------------------------------------------
    Reporter:  chak              |       Owner:                              
        Type:  bug               |      Status:  new                         
    Priority:  normal            |   Component:  Compiler (Type checker)     
     Version:  7.0.1             |    Keywords:                              
    Testcase:                    |   Blockedby:                              
          Os:  Unknown/Multiple  |    Blocking:                              
Architecture:  Unknown/Multiple  |     Failure:  Compile-time performance bug
---------------------------------+------------------------------------------
Changes (by chak):

  * failure:  GHC rejects valid program => Compile-time performance bug


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