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 <allber...@gmail.com> 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.
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Reply via email to