[GHC] #9813: Error when reifying type constructor

[GHC]

#9813: Error when reifying type constructor
-------------------------------------+-------------------------------------
        Reporter:  owst              |                Owner:
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Template Haskell  |              Version:  7.8.3
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D1899
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by goldfire):

 I also quite dislike `$(return [])` and support fixing this ticket. But I
 think your approach in comment:32 is quite a bit simpler than it may seem,
 because everything you say there is (I believe) already implemented except
 for point (5). In particular, GHC already does dependency analysis and
 chunking, and it would be terribly wrong not to have splicy things depend
 on everything else in the declaration group. The only problem, I believe,
 is that type-checking is held off until the whole group is renamed.
 (Splice action happens in the renamer.) It may or may not be hard to
 change that routing.

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