new release of MLton, a whole-program optimizing SML compiler

Stephen Weeks sweeks@intertrust.com
Mon, 9 Jul 2001 09:57:58 -0700


We are pleased to announce a new release of MLton, the whole-program
optimizing compiler for Standard ML.  MLton runs on X86 machines with
Linux. 

Version 20010706 is a major release over 20000906, and includes the
following changes.

    + Native X86 code generator (instead of using gcc)
    + Significantly improved compile times 
    + Significantly improved run times for generated executables
    + Many bug fixes
    + Correct raising of the Overflow exception for integer arithmetic
    + New modules in the MLton structure

MLton has the following features.

   + Generates standalone executables with good runtime performance 
   + SML 97 compliant, with a mostly complete basis library 
   + Fast IntInf based on the GNU multiprecision library (gmp) 
   + Fast C FFI 
   + Profiling 
   + Libraries for continuations, interval timers, random numbers,
       signal handlers, sockets, system logging, threads, 
       and heap save and restore  

For more information, go to the MLton home page: 

        http://www.sourcelight.com/MLton/

Send comments, questions, and bug reports to MLton@sourcelight.com.