Dot/bang operators in export lists (Trac #16339)
authorVladislav Zavialov <vlad.z.4096@gmail.com>
Tue, 19 Feb 2019 15:27:09 +0000 (18:27 +0300)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Thu, 21 Feb 2019 09:26:15 +0000 (04:26 -0500)
commit2f4af71e73ac3b59f4faba5bf1b25774b1008898
tree2f3db562b6ff0609be9207276921bafc2a6c620f
parent32f44ed81b0f16099d780e73ad2ea1a3cd812448
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'.
compiler/parser/Parser.y
compiler/parser/RdrHsSyn.hs
testsuite/tests/parser/should_compile/T16339.hs [new file with mode: 0644]
testsuite/tests/parser/should_compile/all.T