HCoop / hcoop / debian / mlton.git / blame
| Commit | Line | Data |
|---|---|---|
| 7f918cf1 CE |
1 | ImplementProfiling |
| 2 | ================== | |
| 3 | ||
| 4 | <:ImplementProfiling:> is a pass for the <:RSSA:> | |
| 5 | <:IntermediateLanguage:>, invoked from <:RSSASimplify:>. | |
| 6 | ||
| 7 | == Description == | |
| 8 | ||
| 9 | This pass implements profiling. | |
| 10 | ||
| 11 | == Implementation == | |
| 12 | ||
| 13 | * <!ViewGitFile(mlton,master,mlton/backend/implement-profiling.fun)> | |
| 14 | ||
| 15 | == Details and Notes == | |
| 16 | ||
| 17 | See <:HowProfilingWorks:>. |