doc/guide/src/Polyvariance.adoc

   1 Polyvariance
   2 ============
   3
   4 Polyvariance is an optimization pass for the <:SXML:>
   5 <:IntermediateLanguage:>, invoked from <:SXMLSimplify:>.
   6
   7 == Description ==
   8
   9 This pass duplicates a higher-order, `let` bound function at each
  10 variable reference, if the cost is smaller than some threshold.
  11
  12 == Implementation ==
  13
  14 * <!ViewGitFile(mlton,master,mlton/xml/polyvariance.fun)>
  15
  16 == Details and Notes ==
  17
  18 {empty}