#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 simonpj): Are the newly declared data types supposed to be user-visible, with predictable names (they don't look very user-friendly!) or is it just an internal matter. If it's just a question of generating fresh names that are distinct, you could use the same approach as for dictionary-functions. Look at `TcEnv.newDFunName`. This reminds me (Andres) that there is an outstanding task to clean up this generics stuff using `DataKinds`. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10487#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler