[GHC] #15198: `Language.Haskell.TH.Syntax.reify` returns * rather than Constraint

[GHC]

#15198: `Language.Haskell.TH.Syntax.reify` returns * rather than Constraint
-------------------------------------+-------------------------------------
        Reporter:  benzrf            |                Owner:  (none)
            Type:  bug               |               Status:  closed
        Priority:  normal            |            Milestone:  8.4.4
       Component:  Template Haskell  |              Version:  8.4.2
      Resolution:  duplicate         |             Keywords:  reify
                                     |  constraint constraintkinds
Operating System:  Linux             |         Architecture:  x86_64
 Type of failure:  Incorrect result  |  (amd64)
  at runtime                         |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #14869            |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by RyanGlScott):

 * status:  new => closed
 * resolution:   => duplicate
 * blockedby:  11715 =>
 * related:   => #14869


Comment:

 Thankfully, this was fixed in GHC HEAD in commit
 49ac3f0f2a13f66fea31a258fa98b0de39bfbf10 (Fix #14869 by being more mindful
 of Type vs. Constraint). See also the `tests/th/T14869` test case.

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15198#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler