freebsd-ports/lang/mlton/pkg-descr

This is a port of MLton, the whole-program optimizing Standard ML
Compiler.  MLton runs on a variety of platforms, generates excellent
code, has a fast C FFI, profiling, and many useful libraries,
including an interface to the GNU multiprecision library.  For more
information, go to the MLton home page.

WWW:	http://mlton.org/
    
Stephen Weeks <sweeks@sweeks.com>
RESURRECT PORT: lang/mlton Although Stephen Weeks was the original maintainer of this port and still should be (unless he'd prefer not to be, in which case I volunteer), I made the first push to get this port included and will commit to resolving any problems that crop up from here on out. I think it's important to have MLton in the ports tree as it is a great ML compiler. The new lang/twelf port would also benefit, as it is a good bit faster when compiled with MLton :) PR: ports/89684 Submitted by: Geoffrey Mainland <mainland@apeiron.net> 2005-12-01 02:56:43 +01:00			`This is a port of MLton, the whole-program optimizing Standard ML`
			`Compiler. MLton runs on a variety of platforms, generates excellent`
			`code, has a fast C FFI, profiling, and many useful libraries,`
			`including an interface to the GNU multiprecision library. For more`
			`information, go to the MLton home page.`

- Update to 20051202 PR: ports/90097 Submitted by: Geoffrey Mainland <mainland@apeiron.net> Approved by: maintainer 2006-01-05 11:05:36 +01:00			`WWW: http://mlton.org/`
RESURRECT PORT: lang/mlton Although Stephen Weeks was the original maintainer of this port and still should be (unless he'd prefer not to be, in which case I volunteer), I made the first push to get this port included and will commit to resolving any problems that crop up from here on out. I think it's important to have MLton in the ports tree as it is a great ML compiler. The new lang/twelf port would also benefit, as it is a good bit faster when compiled with MLton :) PR: ports/89684 Submitted by: Geoffrey Mainland <mainland@apeiron.net> 2005-12-01 02:56:43 +01:00
			`Stephen Weeks <sweeks@sweeks.com>`