MLton

The optimization passes for the SXML IntermediateLanguage are collected and controlled by the SxmlSimplify functor (sxml-simplify.sig, sxml-simplify.fun).

The following optimization passes are implemented:

The following implementation passes are implemented:

The following optimization passes are not implemented, but might prove useful:

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