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 20011006 is mostly a bug-fix release over 20010806. For a
complete list of changes and bug fixes, see the CHANGES file. Notable changes include:
- Added MLton.Exn.history, which is similar to
SMLofNJ.exnHistory.
- Support for #line directives of the form
(*#line line.col "file"*).
- Performance improvements in native codegenerator.
- Bug fixes in front-end, optimizer, register allocator, and in
Real.{maxFinite, minPos, toManExp},
and heap save and restore.
Version 20010806 was a bug-fix release over 20010706, and
included the following changes.
- 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.
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: 02-Oct-2001
Last Modified: 05-Oct-2001