Redundant - MLton Standard ML Compiler (SML Compiler)

MLton MLTONWIKIVERSION | Redundant |
Home Index

Redundant is an optimization pass for the SSA IntermediateLanguage, invoked from SSASimplify.

## Description

???

## Implementation

redundant.sig redundant.fun

## Details and Notes

The reason Redundant got put in was due to some output of the ClosureConvert pass converter where the environment record, or components of it, were passed around in several places. That may have been more relevant with polyvariant analyses (which are long gone). But it still seems possibly relevant, especially with more aggressive flattening, which should reveal some fields in nested closure records that are redundant.

Last edited on 2006-11-02 17:53:25 by MatthewFluet.