Closed ghc-mirror closed 6 years ago
Original reporter: fuuzetsu@
I'll have a look, 2.5GB is sub-optimal especially if GHC can do with less where the bulk of tho work is.
Original reporter: fuuzetsu@
I should add that while I didn't have the opportunity to investigate exactly why this happens, I can confirm such high memory usage with the git version of Haddock.
I think the best way to fix this issue once and for all is to write out the information Haddock produces for each module to disk, then read that information back again when doing the renaming and the generation of HTML.
Pinging @andreasabel
+1
Closing as a duplicate of #462.
Original reporter: andreas.abel@
Producing the doc for Agda (260 modules, 70 kloc) takes 2.5g of resident memory on my Ubuntu 12.04 Linux 64bit machine. This leads to thrashing unless I close all other big apps (like firefox). I do not need to close firefox when running ghc on Agda or running Agda on it's standard library.
Here the time stats (not very illuminating):
Size of documentation produced: 8m of .html
Here the full output: