[GHC] #10487: DeriveGeneric breaks when the same data name is used in different modules
GHC
ghc-devs at haskell.org
Fri Aug 7 16:57:24 UTC 2015
#10487: DeriveGeneric breaks when the same data name is used in different modules
-------------------------------------+-------------------------------------
Reporter: andreas.abel | Owner: osa1
Type: bug | Status: new
Priority: highest | Milestone: 7.12.1
Component: Compiler | Version: 7.10.1
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Revisions: Phab:D1081
-------------------------------------+-------------------------------------
Comment (by dreixel):
The generated datatypes do not have to be user-visible.
As for using DataKinds in generics, I wouldn't really call it a clean up
task, as I think there's some bit of design left to do. Anyway, it's
mostly described in here:
https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/GenericDeriving#Kindpolymorphicoverhaul
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10487#comment:15>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list