Parsing funny arrows

Vladislav Zavialov vladislav at
Sat Aug 29 14:40:27 UTC 2020

Hi Brandon, I’m afraid your analysis is not entirely correct. The shift/reduce conflict is not on @ but after it.

- Vlad

> On 29 Aug 2020, at 14:42, Brandon Allbery <allbery.b at> wrote:
> Another way to figure it out is the shift/reduce conflict on @, which tells you it had two ways to recognize it. "Reduce" here means returning to your parser rule, so "shift" means btype wanted to recognize the @. Inspecting btype would then have shown that it was looking for a type application.

More information about the ghc-devs mailing list