MLton 20051202

ParallelMove

Home Index

ParallelMove is a rewrite pass, agnostic in the IntermediateLanguage which it produces.

## Description

This function computes a sequence of individual moves to effect a parallel move (with possibly overlapping froms and tos).

## Implementation

parallel-move.sig parallel-move.fun

## Details and Notes

Last edited on 2005-12-01 23:25:40 by StephenWeeks.