Release20130715

MLton

This is an archived public release of MLton, version 20130715.

Compiler.
- Cosmetic improvements to type-error messages.
- Removed features:
  - Bytecode codegen: The bytecode codegen had not seen significant use and it was not well understood by any of the active developers.
  - Support for .cm files as input: The ML Basis system provides much better infrastructure for "programming in the very large" than the (very) limited support for CM. The cm2mlb tool (available in the source distribution) can be used to convert CM projects to MLB projects, preserving the CM scoping of module identifiers.
- Bug fixes: see changelog
Runtime.
- Bug fixes: see changelog
Language.
- Interpret (*#line line:col "file" *) directives as relative file names.
- ML Basis annotations.
  - Added: resolveScope
Libraries.
- Basis Library.
  - Improved performance of String.concatWith.
  - Use bit operations for REAL.class and other low-level operations.
  - Support additional variables with Posix.ProcEnv.sysconf.
  - Bug fixes: see changelog
- MLton structure.
  - Removed: MLton.Socket
- Other libraries.
  - Updated: ckit library, MLRISC library, SML/NJ library
  - Added: MLLPT library
Tools.
- mllex
  - Generate (*#line line:col "file.lex" *) directives with simple (relative) file names, rather than absolute paths.
- mlyacc
  - Generate (*#line line:col "file.grm" *) directives with simple (relative) file names, rather than absolute paths.
  - Fixed bug in comment-handling in lexer.

For a complete list of changes and bug fixes since Release20100608, see the changelog and Bugs20100608.

AMD64 (aka "x86-64" or "x64")
- Darwin (.tgz) 11.4 (Mac OS X Lion), dynamically linked against GMP in /opt/local/lib (suitable for MacPorts install of GMP)
- Darwin (.tgz) 11.4 (Mac OS X Lion), statically linked against GMP (but requires GMP for generated executables)
- Linux, glibc 2.15
X86
- Linux, glibc 2.15

Bugs20130715
MLton Guide (20130715).

A snapshot of the MLton website at the time of release.