#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