[GHC] #9757: Warn about derivable instances
GHC
ghc-devs at haskell.org
Sat Nov 29 19:56:01 UTC 2014
#9757: Warn about derivable instances
-------------------------------------+-------------------------------------
Reporter: dfeuer | Owner:
Type: feature | Status: closed
request | Milestone:
Priority: normal | Version: 7.9
Component: Compiler | Keywords:
Resolution: wontfix | Architecture: Unknown/Multiple
Operating System: | Difficulty: Unknown
Unknown/Multiple | Blocked By:
Type of failure: | Related Tickets:
None/Unknown |
Test Case: |
Blocking: |
Differential Revisions: |
-------------------------------------+-------------------------------------
Comment (by NeilMitchell):
Indeed, I'm certainly happy to discuss this on the HLint issue tracker. I
think GHC warnings are generally general-purpose and clear issues (e.g.
patterns are inexhaustive) while HLint ones can be more style-based and
instance-specific (e.g. use notElem instead of not and elem).
My guess is that it's probably impossible in any remotely general way to
detect instances that would be better off done with generalised newtype
deriving (and obviously actually impossible in the general case), but if
anyone can come up with ideas/code I'd certainly consider it.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9757#comment:7>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list