[GHC] #1831: reify never provides the declaration of variables

[GHC]

#1831: reify never provides the declaration of variables
-------------------------------------+-------------------------------------
        Reporter:  guest             |                Owner:
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  ⊥
       Component:  Template Haskell  |              Version:  6.8.1
      Resolution:                    |             Keywords:  newcomer
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
-------------------------------------+-------------------------------------
Changes (by goldfire):

 * keywords:   => newcomer


Comment:

 It strikes me that this wouldn't actually be terribly hard to do.
 `INLINEABLE` identifiers have their unfoldings available. These unfoldings
 are expressed in Core. But it shouldn't be very hard to translate Core to
 the TH AST.

 Just looking at unfoldings would mean that this feature wouldn't work for
 identifiers declared in the same module as the `reify` but ''not''
 declared `INLINEABLE` (or something that implies `INLINEABLE`). This would
 be disappointing to some people, I'm sure, but we can iteratively get
 better with this feature.

 I'll say this is appropriate for an ambitious newcomer. I don't think
 you'll have to know a ton about the internals of GHC, but it's way more
 than a few lines to fix.

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