[GHC] #8583: Associated pattern synonyms

[GHC]

#8583: Associated pattern synonyms
-------------------------------------+-------------------------------------
        Reporter:  cactus            |                Owner:  (none)
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:
      Resolution:                    |             Keywords:
                                     |  PatternSynonyms
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:  5144              |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Shayan-Najd):

 I am writing to resurrect this ticket!

 Nowadays, we can use `COMPLETE` pragmas to group together an arbitrary
 collection of synonyms.

 Why not also grouping the so called polymorphic pattern synonyms under
 type classes
 and having the totality condition derived from the association?
 (seems the most natural place for `COMPLETE`).

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