This section lists the known unresolved bugs in MLton or in the basis library implementation. It does not list unimplemented portions of the basis library.
fun 'a f (x : 'a) = let datatype foo = Foo of 'a * int in 13 endThis may, in fact be an oversight in the Definition of SML, since unchecked use of this feature can lead to type unsoundness.