SXMLSimplify - MLton Standard ML Compiler (SML Compiler)

MLton MLTONWIKIVERSION | SXMLSimplify |
Home Index

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:

- Polyvariance

- SXMLShrink

The following implementation passes are implemented:

- ImplementExceptions

- ImplementSuffix

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

- Uncurry

- LambdaLift

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

- `diag-pass <pass>` -- keep diagnostic info for pass

- `drop-pass <pass>` -- omit optimization pass

- `keep-pass <pass>` -- keep the results of pass

- `sxml-passes <passes>` -- sxml optimization passes

Last edited on 2006-11-02 17:39:21 by MatthewFluet.