Possible memory leak?

Question

Possible memory leak?

Closed this issue 8 years ago · 5 comments

I'm running idris 0.99.1 on OSX

Extension is awesome, but after using it for 45 minutes or so running commands (exercises in TDDII) slows down dramatically and there is an idris process using most of my system's RAM.

Workaround: Closing and opening VS Code every now and again.

Answer 1 · 2017-03-30T03:03:30.000Z

Hi @smobs, thanks for reporting, I will do some investigation here.

Answer 2 · 2017-03-30T03:16:59.000Z

Yeah, the memory usage of idris process just keep growing, I will fix it in the next release.

Answer 3 · 2017-04-01T12:56:06.000Z

@smobs I think Idris 0.99.2 has resolved this issue, you can kindly upgrade to that version, and I will remove all those unmaintainable hacks.

Answer 4 · 2017-04-01T19:52:57.000Z

I've upgraded to 1.0 🎉

Answer 5 · 2017-04-02T01:57:06.000Z

@smobs Great, but I think this issue is still standing there so I revert the commit 😅