MLton 20210117

# 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 Closures (see CejtinEtAl00).

Uses Globalize and LambdaFree analyses.

## Implementation

- closure-convert.sig

- closure-convert.fun

## Details and Notes