Defects in the Revised Definition of Standard ML

Andreas Rossberg


This document is intended to be a comprehensive, up-to-date list of all known bugs, ambiguities, and other 'grey areas' in the revised Definition of Standard ML [1], from serious technical problems to mere typos. It is based on previous work by Stefan Kahrs, treating the original SML'90 Definition [2], and was a side result of developing the HaMLet implementation of SML [3].

[1] Robin Milner, Mads Tofte, Robert Harper, David MacQueen. "The Definition of Standard ML" (Revised). The MIT Press, 1997.

[2] Stefan Kahrs. "Mistakes and Ambiguities in the Definition of Standard ML". University of Edinburgh, 1993.

[3] Andreas Rossberg. HaMLet. 2001.