Re: #16339: Cannot put (.) or (!) type operators into an export list

#16339: Cannot put (.) or (!) type operators into an export list
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:  (none)
            Type:  bug               |               Status:  merge
        Priority:  normal            |            Milestone:  8.8.1
       Component:  Compiler          |              Version:  8.7
  (Parser)                           |
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  GHC rejects       |            Test Case:
  valid program                      |  parser/should_compile/T16339
      Blocked By:                    |             Blocking:
 Related Tickets:  #15457, #16311    |  Differential Rev(s):
       Wiki Page:                    |  https://gitlab.haskell.org/ghc/ghc/merge_requests/403
-------------------------------------+-------------------------------------

Comment (by Marge Bot <ben+marge-bot@…>):

 In [changeset:"2f4af71e73ac3b59f4faba5bf1b25774b1008898/ghc"
 2f4af71e/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="2f4af71e73ac3b59f4faba5bf1b25774b1008898"
 Dot/bang operators in export lists (Trac #16339)

 The dot type operator was handled in the 'tyvarop' parser production, and
 the
 bang type operator in 'tyapp'. However, export lists and role annotations
 use
 'oqtycon', so these type operators could not be exported or assigned
 roles.

 The fix is to handle them in a lower level production, 'tyconsym'.
 }}}

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16339#comment:6>