diff options
author | Thomas Schilling <nominolo@googlemail.com> | 2008-10-20 11:12:57 +0000 |
---|---|---|
committer | Thomas Schilling <nominolo@googlemail.com> | 2008-10-20 11:12:57 +0000 |
commit | 5ddb372746432ff0e1026f62171c1e0e3a705a6f (patch) | |
tree | 39ac5b5895e58d307fc4c320805249c1d8b67474 /doc | |
parent | 97fdcaec2088d1d5c8eb318e423e484336b2439c (diff) |
Force interface more aggressively.
For running Haddock on GHC this reduces memory usage by about 50 MB on
a 32 bit system. A heap profile shows total memory usage peak at
about 100 MB, but actual usage is at around 300 MB even with
compacting GC (+RTS -c).
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions