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
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
