[GHC] #14474: reify RHS of "value" variable

[GHC]

#14474: reify RHS of "value" variable
-------------------------------------+-------------------------------------
        Reporter:  dailectic         |                Owner:  (none)
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Template Haskell  |              Version:  8.2.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by goldfire):

 The problem is that Core doesn't match up with TH syntax. I suppose it
 really just could return Core, without translating to the TH AST.

 I'm not sure off the top of my head if all local definitions are
 inlinable. It wouldn't be hard to experiment and find out, though. GHC
 also supports cross-module inlining, so there is a chance to work with
 non-local definitions.

 The code in question is all in the typecheck/TcSplice module. If you
 follow the types, this might not be so hard to do, after all. The
 definitions you're looking for, by the way, are in the `Unfolding` field
 of the `IdInfo` field of an `Id`.

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