[GHC] #12366: Use TypeOperators for pattern synonyms?

GHC ghc-devs at haskell.org
Tue Jul 5 20:10:05 UTC 2016


#12366: Use TypeOperators for pattern synonyms?
-------------------------------------+-------------------------------------
        Reporter:  dubiousjim        |                Owner:
            Type:  feature request   |               Status:  closed
        Priority:  low               |            Milestone:
       Component:  Compiler          |              Version:  8.0.1
  (Parser)                           |             Keywords:
      Resolution:  invalid           |  PatternSynonyms
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by mpickering):

 * keywords:   => PatternSynonyms
 * status:  new => closed
 * resolution:   => invalid


Comment:

 Pattern synonym names live in the data constructor name space whilst the
 type operators
 extension only affects type constructors. Pattern synonym definitions
 define no type construction so there shouldn't be any interaction
 between the two features.

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


More information about the ghc-tickets mailing list