[GHC] #4494: Another regression with type families

[GHC]

#4494: Another regression with type families
----------------------------------------+-----------------------------------
    Reporter:  rl                       |        Owner:                           
        Type:  bug                      |       Status:  new                      
    Priority:  normal                   |    Milestone:                           
   Component:  Compiler (Type checker)  |      Version:  7.1                      
    Keywords:                           |     Testcase:                           
   Blockedby:                           |   Difficulty:                           
          Os:  Unknown/Multiple         |     Blocking:                           
Architecture:  Unknown/Multiple         |      Failure:  GHC rejects valid program
----------------------------------------+-----------------------------------

Comment(by simonpj):

 Oh.  I used `NoScopedTypeVariables` because in the email it appears as
 `!ScopedTypeVariables` so I assumed you were using C negation. But
 acutally it was Trac markup!

 Anyway, I tried the code you sent and it compiles just fine for me. Are
 you absolutely 100% certain that you are up to date with HEAD?

 Simon

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