#5331: Warning for unused existentially quantified types
---------------------------------+------------------------------------------
Reporter: Lemming | Owner: simonpj
Type: feature request | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.12.3
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Comment(by simonpj@…):
commit c3f63fb714f38b69d93925e0b9d22b8a31e6ce17
{{{
Author: Simon Peyton Jones <[email protected]>
Date: Wed Jul 20 15:31:40 2011 +0100
Report on unused type variables (fixes #5331)
We were doing this already for explicit types like
f :: forall a. Int
but not for constructor declarations. This patch
makes it consistent.
compiler/rename/RnBinds.lhs | 9 +++++--
compiler/rename/RnSource.lhs | 16 +++++++++-----
compiler/rename/RnTypes.lhs | 45
++++++++++++++++++++++-------------------
3 files changed, 40 insertions(+), 30 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5331#comment:2>
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
