> > Also, I don't quite understand why the system should give an "out of > memory" error. It is true that my 2GB of memory were exhausted, but > shouldn't the system then start swapping? I watched the system > monitor (xosview), and it showed memory usage gradually rising to > 2GB, at which point hol died. I don't suppose it really matters now.
"Out of memory" is almost always a product of stack space (amount of which is fixed when mosml is compiled) being exhausted. For example: fun f x = f (x + 1); f 0 ; runs until you get the Overflow exception, but fun f x = 1 + f (x + 1); f 0 ; will give you Out of Memory Michael. ------------------------------------------------------------------------- Check out the new SourceForge.net Marketplace. It's the best place to buy or sell services for just about anything Open Source. http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
