[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          |  
--------------------------------+-------------------------------------------
Changes (by igloo):

  * milestone:  => 6.8

Comment:

 I don't think this is a warning that we would want in -Wall, as common
 practice is to reuse the same type variables (a, b, c) for each type
 signature.

 However, it would be useful to people want to see how much of an effect
 scoped type ariables would have on existing code (which it sounds like is
 Isaac's motivation).

-- 
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