[MLton] FYI: Compiling MLKit with MLton

[Vesa Karvonen]

Quoting Matthew Fluet <fluet at cs.cornell.edu>:
> > [...] Compilation took 114m26.912s.
> 
> That seems to be a fairly long time.

There probably was some swapping (based on my earlier attempts) and
that should explain part of the time.

> > The resulting
> > executable was 105151508 bytes before stripping and 59049352 bytes after stripping.
> > I have a -verbose 3 log of the compilation, in case someone is interested.
> 
> That also seems to be a little large (about 2.5x the size of the mlton 
> executable).  I'd be interested in seeing the verbose log.

See attachment.

--Vesa Karvonen
-------------- next part --------------
A non-text attachment was scrubbed...
Name: log.txt.gz
Type: application/gzip
Size: 15988 bytes
Desc: not available
Url : http://mlton.org/pipermail/mlton/attachments/20061026/3aa30b6b/log.txt-0001.bin