Parsing funny arrows

[Shayne Fletcher]

On Fri, Aug 28, 2020 at 7:48 PM Shayne Fletcher <
shayne.fletcher.50 at gmail.com> wrote:

>
>
> On Fri, Aug 28, 2020 at 7:38 PM Vladislav Zavialov <vladislav at serokell.io>
> wrote:
>
>> Hi Csongor,
>>
>> I believe the reason for this failure is that  a -> @m b  gets parsed as
>> a -> @(m b).
>> Why is that? Because a ‘btype’ includes type-level application.
>>
>> If you replace the ‘btype’ after PREFIX_AT with an ‘atype’, this
>> particular issue should go away. At least that’s my hypothesis, I haven’t
>> tested it.
>>
>>
> I confirm that this is correct and with that change the example string
> reduces as hoped.
>
>
> - Vlad
>>
>
Also, with that correction there are no new shift/reduce conflicts. The
original rule gave rise to 3.

-- 
Shayne Fletcher
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20200828/03c7e190/attachment.html>