MLton 20030312 released

Hi.  I would like to request an addition to the Languages and Tools
section of your web site.  Thanks.

New release of <a href = "http://www.mlton.org">MLton</a> Standard ML
compiler.

Version 20030312 of MLton has been released.  Improvements include
support for source-level profiling of both time and allocation, an
updated basis library matching the 2002 specification, and new basis
library modules for sockets and networking.

MLton is a whole-program optimzing compiler for Standard ML that runs
on X86 machines with Linux, FreeBSD or Cygwin/Windows. It generates
standalone executables with excellent runtime performance, is SML 97
compliant, and has a mostly complete basis library.  It has support
for source-level time and allocation profiling, a fast C FFI, and lots
of useful libraries, including a fast implementation of IntInf based
on the GNU multiprecision library.