MLton 20100608
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
shrink.sig
shrink.fun
Details and Notes
SXML
shares the
XMLShrink
simplifier.
Last edited on 2006-11-02 17:50:28 by
MatthewFluet
.