#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#Ki... -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10487#comment:15 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler