[GHC] #5144: Pattern synonyms

GHC ghc-devs at haskell.org
Thu Aug 15 02:58:02 CEST 2013


#5144: Pattern synonyms
-------------------------------------+------------------------------------
        Reporter:  simonpj           |            Owner:  cactus
            Type:  feature request   |           Status:  new
        Priority:  normal            |        Milestone:  _|_
       Component:  Compiler          |          Version:
      Resolution:                    |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------

Comment (by illissius):

 Fabulous! Köszönöm!

 Deplorable syntax bikeshedding:

 Perhaps, instead of `pattern`, `data alias`? I feel that would be more
 accurate and descriptive for many cases (when the synonym can also be used
 on the RHS), though possibly less so for others (pattern-only synonyms).
 It might also avoid having to reserve a keyword. (As with `TypeFamilies`,
 as far as I can tell, "family" is not a keyword. I don't think it's
 possible to avoid the keyword with a new top-level entity like `pattern`,
 but maybe I'm mistaken?)

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




More information about the ghc-tickets mailing list