#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 rl):

 Replying to [comment:2 simonpj]:
 > You didn't put all the flags.  I used

 Indeed, sorry about that. But I did say that !ScopedTypeVariables is
 required which you missed. The regression shows up then.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4494#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to