#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