[GHC] #10635: -fwarn-redundant-constraints should not be part of -Wall
GHC
ghc-devs at haskell.org
Wed Feb 17 09:06:33 UTC 2016
#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
More information about the ghc-tickets
mailing list