[project @ 1999-01-27 16:41:14 by simonm]
authorsimonm <unknown>
Wed, 27 Jan 1999 16:41:16 +0000 (16:41 +0000)
committersimonm <unknown>
Wed, 27 Jan 1999 16:41:16 +0000 (16:41 +0000)
commit2c2d394865dd5c873d125d4d831aa041e814ba2a
tree43c329dd90f33e6644fd9d0bb0b2a2fabc5c0ce6
parent3990e36dac177060165ccbf202bfe11a0ceea224
[project @ 1999-01-27 16:41:14 by simonm]
Use the +RTS -H<size> flag as a "suggestion" to the garbage collector
to use that much heap.  If you have plenty of memory, then saying
+RTS -H<large> will really help GC times.
ghc/rts/GC.c
ghc/rts/RtsFlags.c
ghc/rts/RtsFlags.h