[GHC] #12985: GHCi incorrectly reports the kind of unboxed tuples spliced in from Template Haskell

[GHC]

#12985: GHCi incorrectly reports the kind of unboxed tuples spliced in from
Template Haskell
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:
            Type:  bug               |               Status:  patch
        Priority:  normal            |            Milestone:  8.0.3
       Component:  Template Haskell  |              Version:  8.0.2
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  Other             |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #12976            |  Differential Rev(s):  Phab:D2886
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Facundo Domínguez <facundo.dominguez@…>):

 In [changeset:"c1ed9557ad4e40caa72b27693527e02887ddd896/ghc"
 c1ed9557/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="c1ed9557ad4e40caa72b27693527e02887ddd896"
 Have addModFinalizer expose the local type environment.

 Kind inference in ghci was interfered when renaming of type splices
 introduced the HsSpliced data constructor. This patch has kind
 inference skip over it.

 Test Plan: ./validate

 Reviewers: simonpj, rrnewton, bgamari, goldfire, austin

 Subscribers: thomie, mboes

 Differential Revision: https://phabricator.haskell.org/D2886

 GHC Trac Issues: #12985
 }}}

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