IntermediateLanguage
====================

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.

 * <:AST:>.  Pretty close to the source.
 * <:CoreML:>.  Explicitly typed, no module constructs.
 * <:XML:>.  Polymorphic, <:HigherOrder:>.
 * <:SXML:>.  SimplyTyped, <:HigherOrder:>.
 * <:SSA:>.  SimplyTyped, <:FirstOrder:>.
 * <:SSA2:>.  SimplyTyped, <:FirstOrder:>.
 * <:RSSA:>.  Explicit data representations.
 * <:Machine:>.  Untyped abstract machine.
