[GHC] #8759: Pattern synonyms and TH

[GHC]

#8759: Pattern synonyms and TH
---------------------------------------+-----------------------------------
        Reporter:  monoidal            |            Owner:
            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:
---------------------------------------+-----------------------------------

Comment (by monoidal):

 Is this quick fix OK?

 {{{
 diff --git a/compiler/deSugar/DsMeta.hs b/compiler/deSugar/DsMeta.hs
 index 56fba14..8504892 100644
 --- a/compiler/deSugar/DsMeta.hs
 +++ b/compiler/deSugar/DsMeta.hs
 @@ -1238,7 +1238,8 @@ rep_bind (L _ (VarBind { var_id = v, var_rhs = e}))
          ; return (srcLocSpan (getSrcLoc v), ans) }

  rep_bind (L _ (AbsBinds {}))  = panic "rep_bind: AbsBinds"
 -rep_bind (L _ (PatSynBind {})) = panic "rep_bind: PatSynBind"
 +rep_bind (L _ (PatSynBind {})) =
 +  sorry "Template Haskell does not yet support pattern synonyms."
 -----------------------------------------------------------------------------
  -- Since everything in a Bind is mutually recursive we need rename all
  -- all the variables simultaneously. For example:
 }}}

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