diff options
author | Finley McIlwaine <finleymcilwaine@gmail.com> | 2023-05-17 13:43:54 -0600 |
---|---|---|
committer | Finley McIlwaine <finleymcilwaine@gmail.com> | 2023-05-17 13:43:54 -0600 |
commit | bc57ee2686dfe011a631bec9f64cb86f03545d3d (patch) | |
tree | c3727116a88ebd3cc71c32f0c3321f142493f36b /utils/haddock | |
parent | 2972fd66f91cb51426a1df86b8166a067015e231 (diff) | |
download | haskell-wip/haddock-mem-fixes.tar.gz |
Memory usage fixes for Haddockwip/haddock-mem-fixes
- 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).
- Strictly evaluate some SrcSpans in mkDoc{Next,Prev} to avoid thunks
- Strictly evaluate names in rnHsDoc to avoid retaining entire GlobalRdrEnv
- Update Haddock submodule
Diffstat (limited to 'utils/haddock')
m--------- | utils/haddock | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/utils/haddock b/utils/haddock -Subproject e16e20d592a6f5d9ed1af17b77fafd649524234 +Subproject 04e9d6048bb297de5831651e60d496217525ef6 |