From: Philippe Meunier (meunier at ccs.neu.edu) Date: Fri Jan 30 00:41:53 EST 2015 |
|
Matthew Flatt wrote: >We've so far cut the peak memory use of a build by about 1/4 compared >to a v6.1.1 build. Yes, peak memory use for me has now dropped from about 900MB to just below 700MB. Veeery nice :-) Philippe
Posted on the dev mailing list. |
|