MLton 20070826 SXMLShrink
Home  Index  
SXMLShrink is an optimization pass for the SXML IntermediateLanguage, invoked from SXMLSimplify.

Description

This pass performs optimizations based on a reduction system.

Implementation

[WWW]shrink.sig [WWW]shrink.fun

Details and Notes

SXML shares the XMLShrink simplifier.


Last edited on 2006-11-02 17:50:28 by MatthewFluet.