What is MLton?
MLton is a whole-program optimizing compiler for the
Standard
ML programming language. MLton runs on X86 machines with
Linux.
Features of MLton
MLton has the following features (for details, please see
the user manual in html
or postscript).
- Generates standalone executables with
good runtime performance.
- SML 97 compliant, with a
mostly complete basis library
- Fast IntInf based on the
GNU
multiprecision library (gmp)
- Fast C FFI
- Profiling
- Libraries for
continuations,
interval timers,
random numbers,
resource limits,
resource usage,
signal handlers,
sockets,
system logging,
threads,
and heap save and restore
What's new?
Version 20010806 is a bug-fix release over 20010706. For a complete list of
changes and bug fixes, see the CHANGES file.
Notable changes include:
- Word.andb (w, 0xFF) now works correctly
- MLton.Rusage.rusage has a patch to work around a linux
kernel bug
- Programs of the form exp ; program are
now accepted
- Added the MLton.Rlimit structure
- Added the -keep dot flag, which produces call graphs,
intraprocedural control-flow graphs, and dominator trees
Version 20010706 was major release over 20000906, and included the
following changes.
- Native X86 code generator (instead of using gcc)
- Significantly improved compile times
- Significantly improved run times for generated executables
- Many bug fixes
- Correct raising of the Overflow exception for integer arithmetic
- New modules in the MLton structure
Download
The latest version (20010806) is available in the following formats.
- Binary RPM (3.1M)
- rpm
for Red Hat 7.x (glibc 2.2, rpm 4.x)
- rpm
for Red Hat 6.x (glibc 2.1, rpm 3.x)
- Source RPM (2.0M)
- rpm
for Red Hat 7.x (rpm 4.x)
- rpm
for Red Hat 6.x (rpm 3.x)
- Gzipped tar (for non-RPM distributions)
- binary tgz
for Red Hat 7.x (glibc 2.2)
- binary tgz
for Red Hat 6.x (glibc 2.1)
- source tgz
Older versions and newer,
experimental versions of MLton are available.
Links
People that have worked on MLton.
Projects that use MLton.
Improvements that we
would like to see made to MLton.
Papers about MLton.
Contact
To send a comment, question, or bug report to MLton's authors, use
MLton@sourcelight.com.
To send mail to the MLton user community, use
MLton-discuss@sourcelight.com.
To join the MLton-discuss mailing list, send mail to
majordomo@sourcelight.com
with a message body (not subject) of subscribe MLton-discuss.
Last modified: Sat Aug 4 07:57:31 PDT 2001