<div dir="ltr"><div><div>Hi Adam,</div><div><br></div><div>Memory leaks in the JavaScript runtime like these are not important in classical web applications because the browser moves to a new page very frequently, thus freeing all memory that the previous page has allocated. However, In single-page applications (<a href="https://en.wikipedia.org/wiki/Single-page_application">https://en.wikipedia.org/wiki/Single-page_application</a>), the browser loads just one page, which makes the absence of memory leaks in the JavaScript runtime crucial. Maybe most of the applications that are in production are of the classical kind. This would explain why there are no complaints about memory leaks in the JavaScript runtime. As I am developing a single-page application (<a href="https://github.com/saulo2/timesheet-ur">https://github.com/saulo2/timesheet-ur</a>), this is an important matter to me. Therefore, I am willing to contribute by hunting those leaks and suggesting fixes. Also, I believe that more and more single-page applications will be developed with Ur/Web rather than classical ones.</div></div><div><br></div><div>Sincerely,</div><div>Saulo</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Aug 26, 2016 at 1:12 PM, Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@csail.mit.edu" target="_blank">adamc@csail.mit.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 08/24/2016 03:02 PM, Saulo Araujo wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I am happy to say that your patch also fixes the memory leak.<br>
</blockquote>
<br></span>
OK, great.<span class=""><br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I believe there is another memory leak in the JavaScript runtime (see the end of the previous message). I am gonna look into it.<br>
</blockquote>
<br></span>
I'll appreciate any help finding more memory leaks, though in the foreseeable future I probably won't be spending time tracking them down.  There don't seem to have been any complaints yet about memory leaks in connection to production applications.<div class="HOEnZb"><div class="h5"><br>
<br>
______________________________<wbr>_________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/c<wbr>gi-bin/mailman/listinfo/ur</a><br>
</div></div></blockquote></div><br></div>