[GHC] #8759: Pattern synonyms and TH

[GHC]

#8759: Pattern synonyms and TH
---------------------------------------+-----------------------------------
        Reporter:  monoidal            |            Owner:  goldfire
            Type:  bug                 |           Status:  new
        Priority:  normal              |        Milestone:
       Component:  Compiler            |          Version:  7.7
      Resolution:                      |         Keywords:
Operating System:  Unknown/Multiple    |     Architecture:
 Type of failure:  Compile-time crash  |  Unknown/Multiple
       Test Case:                      |       Difficulty:  Unknown
        Blocking:                      |       Blocked By:
                                       |  Related Tickets:
---------------------------------------+-----------------------------------
Changes (by goldfire):

 * owner:   => goldfire


Comment:

 Not quite, I'm afraid.

 * It's better to use `notHandled` than `sorry` in !DsMeta

 * !TcSplice also has to be updated. The following code also panics:

 {{{
 pattern P = ()

 $( do info <- reify 'P
       reportWarning (show info)
       return [] )
 }}}

 I'm happy to put in the fixes. I've got a bunch of others that I've put in
 today.

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