[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 owst):

 Replying to [comment:42 goldfire]:
 > In case it wasn't clear, until I wrote comment:39, I thought this was
 all quite feasible and a nice plan. I just don't want you to think I led
 you down a garden path into a trap! But falling into traps is just part of
 software development, I suppose. I'm grateful for your time and good
 attitude as this proposal has become pear-shaped.

 Indeed so that hidden traps are part of software development - thanks for
 helping me down (what appeared to be) a sensible path!

 > There's one important thing to do before closing the ticket: record our
 discoveries somewhere. In particular, I think a Note in the code is in
 order about why things are the way they are. Might you find a good spot,
 summarizing our discoveries and linking to this ticket? It might also be
 worth putting a link to this ticket in the manual, in case an
 overinterested soul wanders by.

 Good idea, I'll try and do that this evening.

 > You say you've updated the manual. Where? How? Are you a committer? Or
 is there a Phab patch?

 Yes, there's a Phab patch - see https://phabricator.haskell.org/D1899 - I
 'think' I don't need to do anything further with that patch, correct?

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