Stream: Elpi users & devs

Topic: Forcing garbage collection

view this post on Zulip Kazuhiko Sakaguchi (Apr 10 2021 at 11:05):

Is it possible to force garbage collection (Gc.compact in OCaml) from Elpi? Coq has this feature as a command (Optimize Heap) and a tactic (optimize_heap).

view this post on Zulip Enrico Tassi (Apr 10 2021 at 11:30):

No. Just open an issue, it is easy to add.

Last updated: Apr 21 2024 at 01:02 UTC