Polyvariance - MLton Standard ML Compiler (SML Compiler)

MLton MLTONWIKIVERSION | Polyvariance |
Home Index

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

polyvariance.sig polyvariance.fun

## Details and Notes

Last edited on 2006-11-02 17:48:41 by MatthewFluet.