[GHC] #2497: Weird scoping for tyvars in rules

[GHC]

#2497: Weird scoping for tyvars in rules
--------------------------------------------+-------------------------------
 Reporter:  rl                              |          Owner:                  
     Type:  bug                             |         Status:  reopened        
 Priority:  high                            |      Milestone:  6.10.1          
Component:  Compiler                        |        Version:  6.8.3           
 Severity:  normal                          |     Resolution:                  
 Keywords:                                  |     Difficulty:  Unknown         
 Testcase:  typecheck/should_compile/T2497  |   Architecture:  Unknown/Multiple
       Os:  Unknown/Multiple                |  
--------------------------------------------+-------------------------------
Changes (by igloo):

  * priority:  normal => high
  * milestone:  => 6.10.1

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