[GHC] #13885: Template Haskell doesn't freshen GADT type variables properly

[GHC]

#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