To report a bug, please send mail to MLton@mlton.org. Please include the
complete SML program that caused the problem and a log of a compile of
the program with -verbose 2.
This section lists the known unresolved bugs in MLton.
MLton rejects datatype declarations with type variables bound at
an outer level. For example, the following program is rejected,
although it is consistent with the Definition.
fun 'a f (x : 'a) =
let datatype foo = Foo of 'a * int
in 13
end
This may be an oversight in the Definition of SML, since unchecked use
of this feature can lead to type unsoundness.
MLton allows local type names to escape their scope, as in