[MLton] A few changes proposals for MLton

[Nicolas Bertolotti]

Skipped content of type multipart/related-------------- next part --------------
A non-text attachment was scrubbed...
Name: 21-prevent-null-heap-size.patch
Type: application/octet-stream
Size: 1369 bytes
Desc: 21-prevent-null-heap-size.patch
Url : http://mlton.org/pipermail/mlton/attachments/20081113/518c999d/21-prevent-null-heap-size-0001.obj
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 01-cross-compile-mlton.patch
Type: application/octet-stream
Size: 6940 bytes
Desc: 01-cross-compile-mlton.patch
Url : http://mlton.org/pipermail/mlton/attachments/20081113/518c999d/01-cross-compile-mlton-0001.obj
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 03-windows-versions.patch
Type: application/octet-stream
Size: 4176 bytes
Desc: 03-windows-versions.patch
Url : http://mlton.org/pipermail/mlton/attachments/20081113/518c999d/03-windows-versions-0001.obj
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 04-windows-paths.patch
Type: application/octet-stream
Size: 4405 bytes
Desc: 04-windows-paths.patch
Url : http://mlton.org/pipermail/mlton/attachments/20081113/518c999d/04-windows-paths-0001.obj
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 05-windows-exit.patch
Type: application/octet-stream
Size: 701 bytes
Desc: 05-windows-exit.patch
Url : http://mlton.org/pipermail/mlton/attachments/20081113/518c999d/05-windows-exit-0001.obj
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 18-fix-big-heap-disk-dump.patch
Type: application/octet-stream
Size: 778 bytes
Desc: 18-fix-big-heap-disk-dump.patch
Url : http://mlton.org/pipermail/mlton/attachments/20081113/518c999d/18-fix-big-heap-disk-dump-0001.obj