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)
committerVladislav Zavialov <vlad.z.4096@gmail.com>
Thu, 21 Mar 2019 07:47:03 +0000 (10:47 +0300)
commite761dbb2df53e6dd2d325bd278b935bdeaa2ef65
treed9c12f29e85cb725cca54baf672f45f73c7acdf8
parentd70eda19335f5e2eb58fe3b9467ccffb606d5568
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