[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