Parsing funny arrows

Shayne Fletcher shayne.fletcher.50 at gmail.com
Fri Aug 28 23:48:32 UTC 2020


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
>

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


More information about the ghc-devs mailing list