• Exceptions can be declared locally within an expression, with syntax let exception ... in ...

• Optimized memory representation for immutable records with a single field, and concrete types with a single constructor with a single argument. This is triggered with a @@unboxed attribute on the type definition.

• Support for the Spacetime memory profiler was added.

See also: detailed list of changes.