#8953: Reification drops necessary kind annotations -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: patch Priority: normal | Milestone: 8.2.1 Component: Template Haskell | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: th/T8953 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D387, Wiki Page: | Phab:D2795 -------------------------------------+------------------------------------- Comment (by Ryan Scott <ryan.gl.scott@…>): In [changeset:"f65ff2c4c9b60e370a722ac7572186816e23e573/ghc" f65ff2c4/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="f65ff2c4c9b60e370a722ac7572186816e23e573" Disambiguate reified closed type family kinds in TH Summary: A continuation of #8953. This fixes an oversight in which the left-hand sides of closed type families, when reified in Template Haskell, would not be given kind annotations, even when they are necessary for disambiguation purposes in the presence of `PolyKinds`. Fixes #8953 and #12646. Test Plan: ./validate Reviewers: hvr, bgamari, austin, goldfire Reviewed By: goldfire Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D2795 GHC Trac Issues: #8953, #12646 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8953#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler