doc/guide/src/SXMLShrink.adoc

   1 SXMLShrink
   2 ==========
   3
   4 SXMLShrink is an optimization pass for the <:SXML:>
   5 <:IntermediateLanguage:>, invoked from <:SXMLSimplify:>.
   6
   7 == Description ==
   8
   9 This pass performs optimizations based on a reduction system.
  10
  11 == Implementation ==
  12
  13 * <!ViewGitFile(mlton,master,mlton/xml/shrink.sig)>
  14 * <!ViewGitFile(mlton,master,mlton/xml/shrink.fun)>
  15
  16 == Details and Notes ==
  17
  18 <:SXML:> shares the <:XMLShrink:> simplifier.