doc/guide/src/SXMLSimplify.adoc

   1 SXMLSimplify
   2 ============
   3
   4 The optimization passes for the <:SXML:> <:IntermediateLanguage:> are
   5 collected and controlled by the `SxmlSimplify` functor
   6 (<!ViewGitFile(mlton,master,mlton/xml/sxml-simplify.sig)>,
   7 <!ViewGitFile(mlton,master,mlton/xml/sxml-simplify.fun)>).
   8
   9 The following optimization passes are implemented:
  10
  11 * <:Polyvariance:>
  12 * <:SXMLShrink:>
  13
  14 The following implementation passes are implemented:
  15
  16 * <:ImplementExceptions:>
  17 * <:ImplementSuffix:>
  18
  19 The following optimization passes are not implemented, but might prove useful:
  20
  21 * <:Uncurry:>
  22 * <:LambdaLift:>
  23
  24 The optimization passes can be controlled from the command-line by the options
  25
  26 * `-diag-pass <pass>` -- keep diagnostic info for pass
  27 * `-disable-pass <pass>` -- skip optimization pass (if normally performed)
  28 * `-enable-pass <pass>` -- perform optimization pass (if normally skipped)
  29 * `-keep-pass <pass>` -- keep the results of pass
  30 * `-sxml-passes <passes>` -- sxml optimization passes