#14436: Teach TemplateHaskell to generate less eye-hurting names -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.4.1 Component: Compiler | Version: 8.2.1 Resolution: | Keywords: 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 goldfire): This may be unique to `singletons`. See [https://github.com/goldfirere/th- desugar/blob/master/Language/Haskell/TH/Desugar/Util.hs#L46 `newUniqueName`], which uses `newName`, `show`s it, and then uses the result to make ''another'' `newName`. This is necessary because these `newName`d entities are sometimes top-level, and GHC doesn't like two top- level entities to have the same `OccName`. I suppose this is really a workaround for an unreported GHC bug, but I don't think the bug is the one this ticket is really worried about. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14436#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler