[Ur] Substantial memory leak in the JavaScript runtime

[Adam Chlipala]

On 08/24/2016 03:02 PM, Saulo Araujo wrote:
> I am happy to say that your patch also fixes the memory leak.

OK, great.

> I believe there is another memory leak in the JavaScript runtime (see 
> the end of the previous message). I am gonna look into it.

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.