Skip to content

Fixes to GHCi space leaks

Matthew Pickering requested to merge wip/ghci-space into master

The test is loading Agda into GHCi, modifying all the files and then reloading:

Before, with GHC-9.2

2021-10-08-085448_1211x983

After, with these patches

2021-10-07-191458_1221x812

Peak memory usage is halved.

Merge request reports