#10635: -fwarn-redundant-constraints should not be part of -Wall -------------------------------------+------------------------------------- Reporter: Lemming | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.11 checker) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #9939, #9973, | Differential Rev(s): #10100, #10183 | Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj):
My goal was to somehow mark the redundant constraints, as we do with unused identifiers. I would not like to let the type checker ignore all redundant constraints at once in a signature.
I hear you. But as compiler writers we have a limited complexity budget and number of implementation cycles, and we need to think how best to spend them in the service of our users. Both in the initial cost of design and implementation and in the ongoing cost of maintenance. I think what you want is hard, so there's a risk of making the best be the enemy of the good. (By all means try; I'm just saying.) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10635#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler