<div dir="auto">Excellently said!</div><div dir="auto">  Good parser abstractions include a lot of extra info like source span, context. And or even what the actual expected vs seen token are.  And the proposed extension doesn’t seem to provide for those. </div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Nov 19, 2020 at 10:27 PM David Feuer <<a href="mailto:david.feuer@gmail.com">david.feuer@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)"><div dir="auto">My main concern is that while you'll get error messages from parse failures, they may not actually do a good job of pointing to the cause of the failure. I don't know much about parsing, but I gather that a lot of people have put a lot of work into designing parsing frameworks with decent error reporting, and you're not likely to get anything near that by grafting errors onto a more primitive system.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Nov 19, 2020, 10:25 PM Dannyu NDos <<a href="mailto:ndospark320@gmail.com" target="_blank">ndospark320@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)">Well, I once tried implementing a parser that evaluates integer<br>
addition, multiplication, exponential, tetration, pentation, and so on<br>
infinitely. The operators were + with precedence 6, * with precedence<br>
7, ^ with precedence 8, ^^ with precedence 9 (for tetration), ^^^ with<br>
precedence 10 (for pentation), ^^^^ with precedence 11 (for hexation),<br>
and so on infinitely. I've not succeeded implementing it using<br>
ordinary ReadP.<br>
</blockquote></div>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div></div>