Here you can download the latest public release of MLton, version 20210117.
Changes since MLton 20201002
-
Compiler.
-
Fix bug in
SimplifyTypesSSA optimization pass.
-
-
Libraries.
-
Other libraries.
-
Updated: ckit library, MLLPT library, MLRISC library, SML/NJ library
-
-
-
Other.
-
Preliminary support for
arm64-darwin. -
Fix bug in
Makefile.binarydetecting default position-independent style.
-
For a complete list of changes and bug fixes since
Release20201002, see the
CHANGELOG.adoc and
Bugs20201002.
20210117 binary packages
-
AMD64 (aka "x86-64" or "x64")
-
Darwin (.tgz) 19.6 (Mac OS X Catalina), dynamically linked against GMP in
/usr/local/lib(suitable for Homebrew install of GMP) -
Darwin (.tgz) 19.6 (Mac OS X Catalina), statically linked against GMP (but requires GMP for generated executables)
-
Linux (.tgz), glibc 2.23 (Ubuntu 16.04)
-
Linux (.tgz), glibc 2.31 (Ubuntu 20.04)
-
Binary packages available at other sites
-
TINA toolbox: Includes binary releases for: amd64-darwin macOS Sierra 10.12 (both statically and dynamically linked against GMP), amd64-linux Ubuntu 14 (both statically and dynamically linked against GMP), amd64-mingw MSys2 (both statically and dynamically linked against GMP), amd64-solaris Solaris 11.4 (both statically and dynamically linked against GMP), and arm64-darwin macOS Monterey 12.4 (Apple Silicon) (both statically and dynamically linked against GMP).
20210117 source packages
Also see
-
A snapshot of the MLton website at the time of release.