PackedRepresentation - MLton Standard ML Compiler (SML Compiler)

MLton MLTONWIKIVERSION | PackedRepresentation |
Home Index

PackedRepresentation is an analysis pass for the SSA2 IntermediateLanguage, invoked from ToRSSA.

## Description

This pass analyzes a SSA2 program to compute a packed representation for each object.

## Implementation

representation.sig packed-representation.fun

## Details and Notes

Has a special case to make sure that `true` is represented as `1` and `false` is represented as `0`.

Last edited on 2006-11-02 17:36:23 by MatthewFluet.