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

ClosureConvert
==============

<:ClosureConvert:> is a translation pass from the <:SXML:>
<:IntermediateLanguage:> to the <:SSA:> <:IntermediateLanguage:>.

== Description ==

It converts an <:SXML:> program into an <:SSA:> program.

<:Defunctionalization:> is the technique used to eliminate
<:Closure:>s (see <!Cite(CejtinEtAl00)>).

Uses <:Globalize:> and <:LambdaFree:> analyses.

== Implementation ==

* <!ViewGitFile(mlton,master,mlton/closure-convert/closure-convert.sig)>
* <!ViewGitFile(mlton,master,mlton/closure-convert/closure-convert.fun)>

== Details and Notes ==

{empty}
Commit	Line	Data
7f918cf1 CE	1	ClosureConvert
	2	==============
	3
	4	<:ClosureConvert:> is a translation pass from the <:SXML:>
	5	<:IntermediateLanguage:> to the <:SSA:> <:IntermediateLanguage:>.
	6
	7	== Description ==
	8
	9	It converts an <:SXML:> program into an <:SSA:> program.
	10
	11	<:Defunctionalization:> is the technique used to eliminate
	12	<:Closure:>s (see <!Cite(CejtinEtAl00)>).
	13
	14	Uses <:Globalize:> and <:LambdaFree:> analyses.
	15
	16	== Implementation ==
	17
	18	* <!ViewGitFile(mlton,master,mlton/closure-convert/closure-convert.sig)>
	19	* <!ViewGitFile(mlton,master,mlton/closure-convert/closure-convert.fun)>
	20
	21	== Details and Notes ==
	22
	23	{empty}