[hcoop/debian/mlton.git] / doc / guide / src / Polyvariance.adoc

Polyvariance
============

Polyvariance is an optimization pass for the <:SXML:>
<:IntermediateLanguage:>, invoked from <:SXMLSimplify:>.

== Description ==

This pass duplicates a higher-order, `let` bound function at each
variable reference, if the cost is smaller than some threshold.

== Implementation ==

* <!ViewGitFile(mlton,master,mlton/xml/polyvariance.fun)>

== Details and Notes ==

{empty}
Commit	Line	Data
7f918cf1 CE	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}