Add +RTS -n<size>: divide the nursery into chunks

Authored by simonmar.

Description

Add +RTS -n<size>: divide the nursery into chunks

See the documentation for details.

Details

Committed
simonmarNov 25 2014, 8:37 AM
Parents
rGHCe22bc0dedb9e: Make clearNursery free
Branches
Unknown
Tags
Unknown