#13885: Template Haskell doesn't freshen GADT type variables properly -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect result | Unknown/Multiple at runtime | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by RyanGlScott): Sure, I know that //conceptually//, they have different scopes. I would just find it convenient to have different uniques for differently scoped variables in the reified Template Haskell output, as it would greatly simplify some code that I'm developing that benefits from the assumption that TH ASTs are fully uniquified. It's a minor thing, but it would be a definite quality-of-life improvement. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13885#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler