Re: Parsing funny arrows

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

On Fri, Aug 28, 2020 at 7:38 PM Vladislav Zavialov 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