The ML Kit 2.0
modifications pending
The ML Kit v.2.0 elaborates Modules according to the
revised Definition of Standard ML, but it does not yet generate code
for them.
In particular, The ML Kit does not yet support the
Standard ML Basis Library. It provides the initial basis of the 1990
Definition, however.
The char and word types are not yet
supported.
The new overloading scheme is not yet supported. If in
trouble, use explicit type constraints.
Not all arithmetic operations raise exceptions when their
result is undefined or out of range.