The binary-file format used to store compiled code has been simplified by eliminating support for multiple code objects in a file (a feature that has not been used in many years). We have also changed the format of the "magic string" that is used to identify binfiles.

The boot loader was updated to work with the new binary-file format for code.

The layout of the stack frame used by SML code was changed to be compatible with the register spilling conventions used by LLVM. Specifically, the spill area is now at the top of the frame (i.e., at offset zero from the stack pointer and the various bits of stack-allocated state are at the bottom of the frame.

Made a number of improvements to the pretty-printing library. The PP_DEVICE signature was extended with a number of additional properties (max indentation, max depth, ellipses, …​), as well as functions for setting properties on a device. The pretty-printer engine was updated to to use the max depth and max indentation properties when rendering.

A new device module (CharBufferDev) was added. This is a device for pretty printing to a character buffer and is the device structure that underlies the CharBufferPP structure.

Changed the semantics of the spans returned by ml-ulex so that the second component of a span is the position of the rightmost character in the token (instead of the character following the token). Specifically, the span \((p_1, p_2)\) specifies the \(p_2 - p_1 + 1\) characters that start with the character at position \(p_1\) and run to \(p_2\) (inclusive).

While the x86 installer for 110.99 works on macOs 10.14 Mojave, building from source requires some extra steps because the version of Xcode distributed for Mojave does not include a 32-bit SDK.

Another issue that you may encounter when building on macOs 10.14 Mojave is an error message for a shell script of the form

This error arises because the com.apple.quarantine attribute is set on the shell script. To fix the problem, remove the attribute using the command

and resume the build.