HCoop / hcoop / debian / mlton.git / blame
| Commit | Line | Data |
|---|---|---|
| 7f918cf1 CE |
1 | CoreML |
| 2 | ====== | |
| 3 | ||
| 4 | <:CoreML:Core ML> is an <:IntermediateLanguage:>, translated from | |
| 5 | <:AST:> by <:Elaborate:>, optimized by <:CoreMLSimplify:>, and | |
| 6 | translated by <:Defunctorize:> to <:XML:>. | |
| 7 | ||
| 8 | == Description == | |
| 9 | ||
| 10 | <:CoreML:> is polymorphic, higher-order, and has nested patterns. | |
| 11 | ||
| 12 | == Implementation == | |
| 13 | ||
| 14 | * <!ViewGitFile(mlton,master,mlton/core-ml/core-ml.sig)> | |
| 15 | * <!ViewGitFile(mlton,master,mlton/core-ml/core-ml.fun)> | |
| 16 | ||
| 17 | == Type Checking == | |
| 18 | ||
| 19 | The <:CoreML:> <:IntermediateLanguage:> has no independent type | |
| 20 | checker. | |
| 21 | ||
| 22 | == Details and Notes == | |
| 23 | ||
| 24 | {empty} |