[GHC] #13065: Prohibit user-defined Generic and Generic1 instances
GHC
ghc-devs at haskell.org
Fri Jan 20 04:27:38 UTC 2017
#13065: Prohibit user-defined Generic and Generic1 instances
-------------------------------------+-------------------------------------
Reporter: dfeuer | Owner:
Type: feature request | Status: new
Priority: normal | Milestone: 8.4.1
Component: Compiler | Version: 8.0.1
Resolution: | Keywords: Generics
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: Other | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by RyanGlScott):
About two weeks have passed since this was first proposed, and there
doesn't seem to be any definite consensus. In fact, I'm not sure if you
even want this to be implemented anymore, since you seem reticent to give
up the ability to define custom `Generic` instances. If you do wish to
pursue this further, I'd highly recommend creating a GHC proposal for it,
since this seems to be a topic of contention.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13065#comment:8>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list