#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
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
