[GHC] #8761: Make pattern synonyms work with Template Haskell

[GHC]

#8761: Make pattern synonyms work with Template Haskell
------------------------------------+-------------------------------------
       Reporter:  goldfire          |             Owner:
           Type:  feature request   |            Status:  new
       Priority:  normal            |         Milestone:
      Component:  Template Haskell  |           Version:  7.8.1-rc1
       Keywords:                    |  Operating System:  Unknown/Multiple
   Architecture:  Unknown/Multiple  |   Type of failure:  None/Unknown
     Difficulty:  Unknown           |         Test Case:
     Blocked By:                    |          Blocking:
Related Tickets:                    |
------------------------------------+-------------------------------------
 Template Haskell has no support for pattern synonyms. This should be
 added.

 Specifically:
 * Create syntax in `Language.Haskell.TH.Syntax` and corresponding
 functions in `Language.Haskell.TH.Lib`
 * Support in !DsMeta for desugaring pattern synonym quotations. See
 `rep_bind`.
 * Support in Convert for splicing in pattern synonyms.
 * Support in !TcSplice for reifying pattern synonyms. See `reifyThing`.

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