[GHC] #9953: Pattern synonyms don't work with GADTs

[GHC]

#9953: Pattern synonyms don't work with GADTs
-------------------------------------+-------------------------------------
        Reporter:  simonpj           |                   Owner:  cactus
            Type:  bug               |                  Status:  closed
        Priority:  normal            |               Milestone:  7.10.1
       Component:  Compiler (Type    |                 Version:  7.10.1-rc1
  checker)                           |                Keywords:
      Resolution:  fixed             |  PatternSynonyms
Operating System:  Unknown/Multiple  |            Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |               Test Case:
      Blocked By:                    |                Blocking:
 Related Tickets:                    |  Differential Revisions:
-------------------------------------+-------------------------------------

Comment (by bgamari):

 It appears that there are still two tests marked as broken due to this
 issue (`T8968-1` and `T8968-3`). They appear to be fixed by either
 28096b274a3803b8a479c5dd94ebda655a15566c or
 953648127cea2836ec134b03a966695ac0b36434 (both commits by Simon PJ).
 Simon, is this an expected consequence of this rework?

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