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. 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 not yet publicly available. However, we have permission from the authors to distribute selected pages that describe the changes to the language. See the file sml_96.ps in the distribution directory. This file is an excerpt from the forthcoming release of the Definition from the MIT Press, and is provided solely for use by the MLWorks license holder: it should not be distributed further.
MLWorks Version 1.0r2 Release Notes - 1 JUL 1997
Generated with Harlequin WebMaker