22 Feb
2016
22 Feb
'16
9:33 a.m.
On 20.02.2016 10:56, Tom Ellis wrote:
Random thought about compile times: could separate compilation be made even more fine-grained by taking it to the level of individual top-level identifiers, rather than modules? This would probably help slow recompiles a lot.
Well, what about inlining? I presume you are using the -j switch. Try NVMe, if you haven't already. -- Wojtek