I have a couple of quick questions, mostly based on observing that http://www.polyml.org/docs/HeapParms9.html could do with being updated. Looking at the poly man page, I feel it is a little brief on the descriptions, these are the questions that came to mind when I was about to explain it to someone else...
"man poly" tells me:
-H size Set the initial heap size, in MB.
--heap size Set the initial heap size, in MB.
is this then the same as -H? Given that the heap size is described as being initial, does it increase as PolyML is running? I was under the (probably wrong) impression that PolyML has a fixed heap size.
--immutable size Set the size of the immutables buffer, in MB.
--mutable size Set the size of the mutables buffer, in MB.
Are these limits? Can they be edited while PolyML is running?
--timeslice timeslice Set the timeslice.
Can someone remind me what this is?
I was also curious if there a way to get PolyML to print/edit out it's current memory parameters while it is running?
cheers, lucas