MLton 20070826 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

[WWW]parallel-move.sig [WWW]parallel-move.fun

Details and Notes


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