MLton

SXMLShrink is an optimization pass for the SXML IntermediateLanguage, invoked from SXMLSimplify.

Description

This pass performs optimizations based on a reduction system.

Implementation

Details and Notes

SXML shares the XMLShrink simplifier.