## MLton 20241230+git20251029+dfsg-5

# 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