10 Nov
2017
10 Nov
'17
10:13 a.m.
On 10/11/17 10:38, Lars Hupel wrote:
I still don't quite understand why the memory needs to be increased so much. I thought that that's not necessarily a good thing because it means heap compactification occurs less often and hence might increase GC runtime etc.
Iptables_Semantics_Examples_Big mainly consists of generated code snippets. David has changed the arrangements for that significantly in Poly/ML 5.7.1: it is no longer on the regular heap.
Makarius