#13054: Generating unique names with template haskell -------------------------------------+------------------------------------- Reporter: tim-m89 | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 8.0.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 simonpj): I'm not convinced yet. Expanding the API for TH is ok, but it complicates the user model. Let's see. This conversation concerns top-level declarations. I can see two use-cases * Functions or data types that are used locally (in some other function or data type), but not really exported. * Functions or data types that are exported. For the former, it's in implementation shortcoming that `newName` does not work (e.g. comment:2). For the latter, for it to be useful importing module needs to know the name, so exporting (say) `makeFun_4j121c4` and `makeFun_4j12137` is not helpful. So maybe the latter is a non-use-case. If it's just the former I think we should be able to make it "just work". -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13054#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler