[MLton-devel] mlton crash

[Alain Deutsch]

I got the following crash during a self compile (using the
current CVS version):

Minor GC.
Minor GC done.  22,021,096 bytes copied.
Finished gc.
time: 390 ms
old gen size: 323,690,944 bytes (48.2%)
/tmp/fileBW1Uj0.18.S 20333: GC_gc
Starting gc.  Request 512 nursery bytes and 0 old gen bytes.
Minor GC.
Command terminated by signal 11
44.90user 6.47system 0:52.06elapsed 98%CPU (0avgtext+0avgdata
0maxresident)k

I did modify the runtime flags as follows:

FLAGS = @MLton $(RUNTIME_ARGS) gc-summary gc-messages copy-ratio 2
grow-ratio 1.1 -- -host $(HOST) -v -o $(AOUT)  

--
Alain Deutsch, CTO              tel.: +33 (0)1 49 65 32 64
PolySpace Technologies          fax.: +33 (0)1 49 65 05 77
mailto:deutsch@POLYSPACE.COM    http://www.polyspace.com



-------------------------------------------------------
This sf.net email is sponsored by: OSDN - Tired of that same old
cell phone?  Get a new here for FREE!
https://www.inphonic.com/r.asp?r=sourceforge1&refcode1=vs3390
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel