Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | ParallelMove |
2 | ============ | |
3 | ||
4 | <:ParallelMove:> is a rewrite pass, agnostic in the | |
5 | <:IntermediateLanguage:> which it produces. | |
6 | ||
7 | == Description == | |
8 | ||
9 | This function computes a sequence of individual moves to effect a | |
10 | parallel move (with possibly overlapping froms and tos). | |
11 | ||
12 | == Implementation == | |
13 | ||
14 | * <!ViewGitFile(mlton,master,mlton/backend/parallel-move.sig)> | |
15 | * <!ViewGitFile(mlton,master,mlton/backend/parallel-move.fun)> | |
16 | ||
17 | == Details and Notes == | |
18 | ||
19 | {empty} |