MLton 20210117

# RSSAShrink

RSSAShrink is an optimization pass for the RSSA IntermediateLanguage.

## Description

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

- constant folding, copy propagation

- inline the Goto to a block with a unique predecessor

- eliminate blocks that simply pass arguments to another block (e.g., jump chaining)

## Implementation

- rssa.fun

## Details and Notes