Releases: MLton/mlton
Releases · MLton/mlton
MLton 20210107
http://mlton.org/Release20210117
- Compiler.
- Fix bug in
SimplifyTypes
SSA optimization pass.
- Fix bug in
- Libraries.
- Other libraries.
- Updated: ckit library, MLLPT library, MLRISC library, SML/NJ library
- Other libraries.
- Other.
- Preliminary support for
arm64-darwin
. - Fix bug in
Makefile.binary
detecting default position-independent style.
- Preliminary support for
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)
- arm64-darwin macOS Monterey 12.4 (Apple Silicon) (both statically and dynamically linked against GMP)
MLton 20201002
http://mlton.org/Release20201002
- Compiler
- Fixed bug in handling of weak objects during mark-compact GC.
MLton 20200817
http://mlton.org/Release20200817
- Compiler
- Fixed bug in
RssaShrink
optimization that would result in an unbound variable and an internal compiler error.
- Fixed bug in
- Other.
- Fixes for Solaris and MinGW platforms.
MLton 20200722
http://mlton.org/Release20200722
- Compiler.
- Added expert
-pi-style {default|npi|pic|pie}
and-native-pic {false|true}
options, which can be used to override a target-determined default. - Fix a number of instances of excessive live data during compilation.
- Disable
Zone
SSA optimization pass by default; theZone
pass is known to not be safe-for-space. - Statically allocate and initialize some global objects.
- Many updates and improvements to C and LLVM codegens.
- Add new
BounceVars
RSSA optimization pass to split the live ranges of RSSA variables. - Improve
RssaShrink
optimization. - Add support for alternate globalization strategies in
ConstantPropagation
. - Strengthen
Useless
optimization with respect to a number of primitives. - Add new
DuplicateGlobals
andSplitTypes
SSA optimization passes. - Introduce new
Overflow
-checking primitives and remove oldOverflow
-checking primitives and special-case code required (e.g.,Arith
transfers in IRs) to support them. - Add parsers for XML, SXML, SSA, and SSA2 IRs.
- Added expert
- Runtime.
- Detect and report incompatible use of ASLR/PIE on
load-world
. - Added support for RISC-V architecture.
- Detect and report incompatible use of ASLR/PIE on
- Language.
- Libraries.
- Basis Library.
- Change
OS.IO.poll
to not be restarted when interrupted by a signal. (This is consistent withSocket.select
.) - Add
MLton.sizeAll: unit -> IntInf.int
that returns the size of reachable live data. - Change type of
MLton.size
from'a -> int
to'a -> IntInf.int
, because with 64-bit systems, the size of a single object can exceed that representable by a signed 32-bit integer.
- Change
- Other libraries.
- Updated: ckit library, MLLPT library, MLRISC library, SML/NJ library
- Basis Library.
- Tools.
- Other.
- Updates to simplify porting MLton.
- Support parallel build (i.e.,
make -j
). This mainly supports platforms/packagers that use a parallelmake
by default; it does not obtain significant build speedups. - Various updates to
Makefile
s. SeeMakefile.config
for common and user-customizable configuration. - Characterize MLton-LICENSE as an instance of the Historical Permission Notice and Disclaimer (HPND) license, rather than BSD-style.
MLton 20180207
http://mlton.org/Release20180207
- Compiler.
- Added an experimental LLVM codegen (
-codegen llvm
); requires LLVM tools (llvm-as
,opt
,llc
) version ≥ 3.7. - Made many substantial cosmetic improvements to front-end diagnostic messages, especially with respect to source location regions, type inference for
fun
andval rec
declarations, signature constraints applied to a structure,sharing type
specifications andwhere type
signature expressions, type constructor or type variable escaping scope, and nonexhaustive pattern matching. - Fixed minor bugs with exception replication, precedence parsing of function clauses, and simultaneous
sharing
of multiple structures. - Made compilation deterministic (eliminate output executable name from compile-time specified
@MLton
runtime arguments; deterministically generate magic constant for executable). - Updated
-show-basis
(recursively expand structures in environments, displaying components with long identifiers; append(* @ region *)
annotations to items shown in environment). - Forced amd64 codegen to generate PIC on amd64-linux targets.
- Added an experimental LLVM codegen (
- Runtime.
- Added
gc-summary-file file
runtime option. - Reorganized runtime support for
IntInf
operations so that programs that do not useIntInf
compile to executables with no residual dependency on GMP. - Changed heap representation to store forwarding pointer for an object in the object header (rather than in the object data and setting the header to a sentinel value).
- Added
- Language.
- Added support for selected SuccessorML features; see http://mlton.org/SuccessorML for details.
- Added
(*#showBasis "file" *)
directive; see http://mlton.org/ShowBasisDirective for details. - FFI:
- Added
pure
,impure
, andreentrant
attributes to_import
. An unattributed_import
is treated asimpure
. Apure
_import
may be subject to more aggressive optimizations (common subexpression elimination, dead-code elimination). An_import
-ed C function that (directly or indirectly) calls an_export
-ed SML function should be attributedreentrant
.
- Added
- ML Basis annotations.
- Added
allowSuccessorML {false|true}
to enable all SuccessorML features and other annotations to enable specific SuccessorML features; see http://mlton.org/SuccessorML for details. - Split
nonexhaustiveMatch {warn|error|igore}
andredundantMatch {warn|error|ignore}
intononexhaustiveMatch
andredundantMatch
(controls diagnostics forcase
expressions,fn
expressions, andfun
declarations (which may raiseMatch
on failure)) andnonexhaustiveBind
andredundantBind
(controls diagnostics forval
declarations (which may raiseBind
on failure)). - Added
valrecConstr {warn|error|ignore}
to report when aval rec
(orfun
) declaration redefines an identifier that previously had constructor status.
- Added
- Libraries.
- Basis Library.
- Improved performance of
Array.copy
,Array.copyVec
,Vector.append
,String.^
,String.concat
,String.concatWith
, and other related functions by usingmemmove
rather than element-by-element constructions.
- Improved performance of
Unsafe
structure.- Added unsafe operations for array uninitialization and raw arrays; see #207 for details.
- Other libraries.
- Updated: ckit library, MLLPT library, MLRISC library, SML/NJ library
- Basis Library.
- Tools.
- mlnlffigen
- Updated to warn and skip (rather than abort) when encountering functions with
struct
/union
argument or return type.
- Updated to warn and skip (rather than abort) when encountering functions with
- mlnlffigen
For a complete list of changes and bug fixes since Release20130715, see the CHANGELOG and Bugs20130715.