[MLton] Welcome to Neophytos Michael

[Matthew Fluet]

>  as well as additional libraries like SML/NJ lib.

I hope that everyone knows that they can run cmcat on
  sml-dist.cvs.HEAD/src/smlnj-lib/Util/smlnj-lib.cm
to get a proper order for the SML/NJ Lib files.  You should be able to
compile the files in this order with MLton with a couple of caveats;
I drop the following two:
  time-limit.sml  --  needs to be rewritten to work with MLton,
                      but it isn't a heavily used structure
  random.sml      --  SML/NJ has a structure Pack32Big,
                      which doesn't conform to the Basis Library
                      specification (it ought to be PackReal32Big);
                      you could rename the structure to match the spec,
                      but then you'll break SML/NJ sources.

The following can be fixed in place:
 M format.sml
 M getopt.sml
 M graph-scc.sml
 M parser-comb.sml
 M redblack-map-fn.sml
 M redblack-set-fn.sml
 M scan.sml
A bunch of them use the deprecated Substring.all; use Substring.full
instead.  Some have SML/NJ "where <structure>"-isms; ORD_KEY ones can
easily be expanded from "where Key = K" to "type Key.ord_key = K.ord_key"

You can follow a similar procedure on the other /smlnj-lib directories.
The HTML library has some or patterns that need to be expanded.
Unix/unix-env.sml has another Substring.all.  And I think I got all the
others to build without modification.