release announcement

[Stephen Weeks]

Here's the latest.  I also made similar changes to the what's new section of the
home page, so that it looks like this.


We are pleased to announce a new release of MLton, the whole-program
optimizing compiler for Standard ML.  MLton runs on X86 machines under
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
    + Many 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 MLton home page: 

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

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