#11584: [Template Haskell] Language.Haskell.TH.Syntax.hs contains misleading comment -------------------------------------+------------------------------------- Reporter: bollmann | Owner: bollmann Type: bug | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 7.10.3 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by goldfire): Ah, yes, that makes some sense. When the pretty-printer appends `_xyz` to an identifier, that's the identifier's `Unique`. TH `Name`s sometimes lead to identifiers with `Unique`s (e.g., `newName` identifiers and identifiers from quoting) and sometimes not (`mkName`). In the latter case, the variable will refer to the innermost identifier with the same name, regardless of its `Unique`. I agree the pretty-printer is confusing here. Maybe instead of `x_a3uK`, it should be `x{a3uK}`? It would then be clear that the underscore isn't part of the name proper. Not sure if this is better or worse. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11584#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler