#11370: Redundant superclass warnings being included in -Wall destroys the "3 Release Policy" -------------------------------------+------------------------------------- Reporter: ekmett | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.0.1 Component: Compiler (Type | Version: 7.10.3 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: #11369, #11429 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by nomeata):
If you write any class that only supplies a law then it will always appear to be a "redundant constraint".
One (not necessarily me) could argue that in a language where laws are just convention, one should not use superclasses to document such a convention. It is a bit similar to annotating functions with an unused argument of some type `Deprecated` instead of documenting that with a pragma or in the documentation. But OTOH, that would work by matching it with `_`. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11370#comment:30 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler