diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2021-10-18 14:19:09 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-10-20 14:07:12 -0400 |
| commit | ef92d88928651fa21b3b23d054f8a97d7b6104cd (patch) | |
| tree | 6abffdb1cc57394c70c32b189ef5c84daadcd475 /compiler/GHC/Tc/Errors | |
| parent | 3e4b51ff65f32722c0f35e34731e7001bc06e547 (diff) | |
| download | haskell-ef92d88928651fa21b3b23d054f8a97d7b6104cd.tar.gz | |
Distribute HomeModInfo cache before starting upsweep
This change means the HomeModInfo cache isn't retained until the end of
upsweep and each cached interface can be collected immediately after its
module is compiled.
The result is lower peak memory usage when using GHCi.
For Agda it reduced peak memory usage from about 1600M to 1200M.
Diffstat (limited to 'compiler/GHC/Tc/Errors')
0 files changed, 0 insertions, 0 deletions