[Savannah-hackers] savannah.gnu.org: submission of MLton Standard ML Compiler

[sweeks]

A package was submitted to savannah.gnu.org.
This mail was sent to address@hidden, address@hidden


Stephen Weeks <address@hidden> described the package as follows:
License: gpl
Other License: 
Package: MLton Standard ML Compiler
System name: mlton
This package does NOT want to apply for inclusion in the GNU project

MLton is a whole-program optimizing compiler for Standard ML that runs
on X86 machines under Linux. MLton generates standalone executables
with good runtime performance, is SML 97 compliant, and has a mostly
complete basis library. MLton has support for profiling and a fast C
FFI. MLton has additional libraries for continuations, interval
timers, random numbers, signal handlers, sockets, system logging,
threads, and heap save and restore. It also has a fast implementation
of IntInf using the GNU multiprecision library.

MLton is a stable compiler that has been in public use since April
1999.  Its current home page is http://www.sourcelight.com/MLton/.

I am registering this project because we are considering moving
the MLton project to Savannah.

Thanks.