[MLton] new version of Poly/ML

[Stephen Weeks]

A new version of Poly/ML was announced on the Poly/ML mailing list:

  http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

> The major new features are:
>   Support for stand-alone binaries
>   Support for additional platforms: AMD64, Intel Macs, Cygwin
>   No artificial limits on size of heaps or saved image
>   Uses standard GNU tools for building
>   Fixed address mmap and trap-handling removed
...
> This version is currently only available by cvs from sourceforge and is 
> a beta release.  Full details and example code showing how to export a 
> function and build an application can be found in 
> http://www.polyml.org/Version5Beta.html .

Pretty cool that they now support stand-alone binaries and AMD64.  We
need to get cracking (on the latter :-).