[GHC] #11832: Allow reify to yield types in the current declaration group

[GHC]

#11832: Allow reify to yield types in the current declaration group
-------------------------------------+-------------------------------------
        Reporter:                    |                Owner:
  facundo.dominguez                  |  facundo.dominguez
            Type:  feature request   |               Status:  patch
        Priority:  normal            |            Milestone:
       Component:  Template Haskell  |              Version:  7.10.3
      Resolution:                    |             Keywords:  reify
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D2286
       Wiki Page:                    |
  TemplateHaskell/Reify              |
-------------------------------------+-------------------------------------

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

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

 Summary:
 This annotates the splice point with 'HsSpliced ref e' where 'e' is the
 result of the splice. 'ref' is a reference that the typechecker will fill
 with
 the local type environment.

 The finalizer then reads the ref and uses the local type environment,
 which
 causes 'reify' to find local variables when run in the finalizer.

 Test Plan: ./validate

 Reviewers: simonpj, simonmar, bgamari, austin, goldfire

 Reviewed By: goldfire

 Subscribers: simonmar, thomie, mboes

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

 GHC Trac Issues: #11832
 }}}

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