[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:  Compiler    |          Version:  7.8.3
            Resolution:              |         Keywords:
      Operating System:              |     Architecture:  Unknown/Multiple
  Unknown/Multiple                   |       Difficulty:  Unknown
       Type of failure:              |       Blocked By:
  None/Unknown                       |  Related Tickets:
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------

Comment (by owst):

 D'oh yes! I misread/misunderstood. Perhaps the manual could be tweaked to
 make the difference clear.

 Without understanding the implications, couldn't encountering an
 expression splice force the end of the current declaration group? In other
 words, act as if the splice was a declaration splice; since we can't have
 non-top-level type declarations, I think this might work?

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