<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><br><div><div>On 17 Feb 2017, at 05:04, Frank Loeffler <<a href="mailto:knarf@cct.lsu.edu">knarf@cct.lsu.edu</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">On Thu, Feb 16, 2017 at 04:34:35PM -0600, Roland Haas wrote:<br><blockquote type="cite">I asked the same question and (par for the answer is): it is at parsing<br>it with both methods and then comparing so it must be strictly<br>slower :) This also qualifies for "debug code" I guess.<br></blockquote><br>The idea is to catch cases where the new parser gets to a different result than the old, especially for thorns we don't have access to. I wouldn't call it 'debugging', since there is nothing to debug at the moement, maybe verification - but that is just a name anyway.<br><br>The more interesting question is: how much slower did it get for individual users - and was it piraha or something else? It shouldn't be much more than twice as slow, because otherwise it would mean piraha would be slower than the old method. It would still be better than the old method, and it was never meant as a replacement for efficiency reasons, but it would be interesting to know what the difference is.<br></blockquote><div><br></div><div>Do we expect Piraha to be faster than the old method?</div><div><br></div></div><div apple-content-edited="true">
<div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div>-- </div><div>Ian Hinder</div><div><a href="http://members.aei.mpg.de/ianhin">http://members.aei.mpg.de/ianhin</a></div></div></div></div></div>
</div>
<br></body></html>