MLton 20070826 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

[WWW]polyvariance.sig [WWW]polyvariance.fun

Details and Notes


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