I am pleased to announce new rpms, available at 

http://www.star-lab.com/sweeks/mlton-20001130-1.i386.rpm
http://www.star-lab.com/sweeks/mlton-20001130-1.src.rpm

These are the first rpms with the native backend (and overflow checking) as the
default.  This is an internal release, so there are still some rough edges
(documentation, profiling, ...).  But, it does self compile and pass all the
regression tests.  Here's what's left to be done before the release.

* Clean up docs.
* Improve compile times.
* Benchmark against other compilers.

One decision we have to make is whether to support the C backend at all in the
released version.

Henry, I never heard from you about the CPS shrinker algebraic simplification
code.  Did you check it out?