MLton

The optimization passes for the XML IntermediateLanguage are collected and controlled by the XmlSimplify functor (xml-simplify.sig, xml-simplify.fun).

The following optimization passes are implemented:

The optimization passes can be controlled from the command-line by the options