Defects in the Revised Definition of Standard ML

Andreas Rossberg

Abstract

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].