[GHC] #1316: add warning for local type signatures that use the same type variable names as outer type signatures

[GHC]

#1316: add warning for local type signatures that use the same type variable names
as outer type signatures
--------------------------------+-------------------------------------------
    Reporter:  Isaac Dupree     |        Owner:         
        Type:  feature request  |       Status:  new    
    Priority:  normal           |    Milestone:  6.8    
   Component:  Compiler         |      Version:  6.6.1  
    Severity:  normal           |   Resolution:         
    Keywords:                   |   Difficulty:  Unknown
          Os:  Unknown          |     Testcase:         
Architecture:  Unknown          |  
--------------------------------+-------------------------------------------
Comment (by Isaac Dupree):

 well, saying "like ghc foralls" is to say, the same scoping
 considerations. Just adding foralls everywhere at once wouldn't actually
 be the right sort of thing here.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1316>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
-------------- next part --------------
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs at haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs