[GHC] #10598: DeriveAnyClass and GND don't work well together
GHC
ghc-devs at haskell.org
Sun May 22 23:15:36 UTC 2016
#10598: DeriveAnyClass and GND don't work well together
-------------------------------------+-------------------------------------
Reporter: osa1 | Owner: RyanGlScott
Type: bug | Status: new
Priority: normal | Milestone: 8.2.1
Component: Compiler | Version: 7.11
Resolution: | Keywords: Generics
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by oerjan):
That magic somewhat disturbs me, especially since it means a type synonym
is not equivalent to its expansion. But if you think it's better than
(backwards-compatibly) extending the parser to reuse keywords... (I guess
`default` is a bit of a stretch anyway.)
In any case, you should also decide how to annotate a `class` definition,
which is where I actually suggested a pragma. (I think this feature is an
important part of this: E.g. I think `mtl` classes are almost always used
with newtype deriving while `aeson` uses generics, and the libraries
should be able to specify this.)
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10598#comment:24>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list