On Fri, Aug 28, 2020 at 7:48 PM Shayne Fletcher < shayne.fletcher...@gmail.com> wrote:
> > > On Fri, Aug 28, 2020 at 7:38 PM Vladislav Zavialov <vladis...@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
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
