[FEATURE] Restart idris process every n-th typecheck?

[canonic-epicure]

Hi,

In the long programming sessions, Idris process leaks memory and slows everything down. Would be great to add a config option, to restart it, lets say, after every 10 typechecks.

Thanks.

[david-christiansen]

It would be even better to fix the leak in Idris.

The Emacs mode has a command to restart Idris manually - this may be better, because some developments trigger the leak much quicker than others.

2018-05-31 1:39 GMT-07:00 Nickolay Platonov [email protected]:

Hi,

In the long programming sessions, Idris process leaks memory and slows everything down. Would be great to add a config option, to restart it, lets say, after every 10 typechecks.

Thanks.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/idris-hackers/atom-language-idris/issues/205, or mute the thread https://github.com/notifications/unsubscribe-auth/AAHCgiBAfuSa1iKRKO4yW0vXD3juYIM9ks5t36xGgaJpZM4UUpFk .