4 Features
4.1 The MLWorks implementation of Standard ML
The Definition of Standard ML (Milner, R.; Tofte, M.; Harper, R.; 1990; The MIT Press) was revised and simplified in 1996 by the original authors, and published in 1997. All major implementations of Standard ML are adapting to the revised definition, and MLWorks is no exception. By default, MLWorks uses the revised version of the language. Most existing code will compile unchanged. If the revisions to the Definition do cause you problems, MLWorks provides the option of using the previous definition. Select Preferences > Options > SML '90.
The full text of the revised Definition is now publicly available. We have permission from the authors to distribute selected pages that describe the changes to the language. See the file sml_97.ps in the distribution directory. This file is an excerpt from The Definition of Standard ML (Revised), MIT Press, 1997, and is provided solely for use by the MLWorks license holder: it should not be distributed further.