[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 <#205>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAHCgiBAfuSa1iKRKO4yW0vXD3juYIM9ks5t36xGgaJpZM4UUpFk> .