[GHC] #4917: ghc7 does not equate type synonyms under RankNTypes

[GHC]

#4917: ghc7 does not equate type synonyms under RankNTypes
-------------------------------+--------------------------------------------
    Reporter:  kyagrd          |       Owner:                           
        Type:  bug             |      Status:  new                      
    Priority:  normal          |   Component:  Compiler (Type checker)  
     Version:  7.0.1           |    Keywords:                           
    Testcase:                  |   Blockedby:                           
          Os:  Linux           |    Blocking:                           
Architecture:  x86_64 (amd64)  |     Failure:  GHC rejects valid program
-------------------------------+--------------------------------------------
Changes (by kyagrd):

  * component:  Compiler => Compiler (Type checker)


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