doc/guide/src/IntermediateLanguage.adoc

   1 IntermediateLanguage
   2 ====================
   3
   4 MLton uses a number of intermediate languages in translating from the input source program to low-level code.  Here is a list in the order which they are translated to.
   5
   6  * <:AST:>.  Pretty close to the source.
   7  * <:CoreML:>.  Explicitly typed, no module constructs.
   8  * <:XML:>.  Polymorphic, <:HigherOrder:>.
   9  * <:SXML:>.  SimplyTyped, <:HigherOrder:>.
  10  * <:SSA:>.  SimplyTyped, <:FirstOrder:>.
  11  * <:SSA2:>.  SimplyTyped, <:FirstOrder:>.
  12  * <:RSSA:>.  Explicit data representations.
  13  * <:Machine:>.  Untyped register transfer language.