doc/guide/src/CoreML.adoc

   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}