Skip to content

Memory usage fixes for Haddock, hi-haddock

Finley McIlwaine requested to merge wip/haddock-mem-fixes into master
  • Do not include mi_globals in the NoBackend backend. It was only included for Haddock, but Haddock does not actually need it. This causes a 200MB reduction in max residency when generating haddocks on the Agda codebase (roughly 1GB to 800MB).
  • Fix DocStructureItem generation for associated data families.
  • Update Haddock submodule to include hi-haddock work.
Edited by Finley McIlwaine

Merge request reports