MLton 20070826 RSSAShrink
Home  Index  
RSSAShrink is an optimization pass for the RSSA IntermediateLanguage.

Description

This pass implements a whole family of compile-time reductions, like:

Implementation

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

Details and Notes


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