<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Thanks a lot Vlad and Shayne, that indeed did the trick!<div class=""><br class=""></div><div class="">Out of curiosity, how could I have figured out that this was the culprit? The parse</div><div class="">error I got was a bit puzzling, and I couldn't find any flags that would give more information</div><div class="">(I think I was looking for the parser equivalent of -ddump-tc-trace).</div><div class=""><br class=""></div><div class="">Best,</div><div class="">Csongor<br class=""><div class=""><div><br class=""><blockquote type="cite" class=""><div class="">On 29 Aug 2020, at 00:51, Shayne Fletcher <<a href="mailto:shayne.fletcher.50@gmail.com" class="">shayne.fletcher.50@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><br class="Apple-interchange-newline"><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><div class="gmail_quote" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;"><div dir="ltr" class="gmail_attr">On Fri, Aug 28, 2020 at 7:48 PM Shayne Fletcher <<a href="mailto:shayne.fletcher.50@gmail.com" class="">shayne.fletcher.50@gmail.com</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin: 0px 0px 0px 0.8ex; border-left-width: 1px; border-left-style: solid; border-left-color: rgb(204, 204, 204); padding-left: 1ex;"><div dir="ltr" class=""><div dir="ltr" class=""><div style="font-family: tahoma, sans-serif;" class=""><br class=""></div></div><br class=""><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Aug 28, 2020 at 7:38 PM Vladislav Zavialov <<a href="mailto:vladislav@serokell.io" target="_blank" class="">vladislav@serokell.io</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin: 0px 0px 0px 0.8ex; border-left-width: 1px; border-left-style: solid; border-left-color: rgb(204, 204, 204); padding-left: 1ex;">Hi Csongor,<br class=""><br class="">I believe the reason for this failure is that a -> @m b gets parsed as a -> @(m b).<br class="">Why is that? Because a ‘btype’ includes type-level application.<br class=""><br class="">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.<br class=""><br class=""></blockquote><div class=""><br class=""><div style="font-family: tahoma, sans-serif;" class="">I confirm that this is correct and with that change the example string reduces as hoped.</div><br class=""><br class=""></div><blockquote class="gmail_quote" style="margin: 0px 0px 0px 0.8ex; border-left-width: 1px; border-left-style: solid; border-left-color: rgb(204, 204, 204); padding-left: 1ex;">- Vlad<br class=""></blockquote><div class=""></div></div></div></blockquote><div class=""><br class=""><div class="gmail_default" style="font-family: tahoma, sans-serif;">Also, with that correction there are no new shift/reduce conflicts. The original rule gave rise to 3.</div></div></div><div style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><br class=""></div><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">--<span class="Apple-converted-space"> </span></span><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><div dir="ltr" class="gmail_signature" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;">Shayne Fletcher</div></div></blockquote></div><br class=""></div></div></body></html>