MLton User Guide

Copyright © 2004
Henry Cejtin, Matthew Fluet, Suresh Jagannathan, and Stephen Weeks

November 9, 2004

This document describes how to install and use MLton, the whole-program optimizing compiler for the Standard ML programming language. MLton is distributed under the GNU General Public License (for details, see the MLton-LICENSE file).

The MLton homepage is http://www.mlton.org/. For general MLton discussion, send mail to MLton-user@mlton.org. To contact the MLton developers, send mail to MLton@mlton.org.

This document describes MLton version 20041109.

Getting started
- Installation
- Hello, World!
Features of MLton
Drawbacks of MLton
Type checking
- Type error messages
- Type information about programs
Manual page
- Compile-time options
- Runtime system options
Foreign function interface (FFI)
Profiling
ML Basis system
Basis Library
MLton extensions
CM
- Comparison with CM
- Porting SML/NJ CM files to MLton
Compiling MLton
- Compiling with MLton
- Compiling with SML/NJ
Platform-specific notes
Cross compiling
- Cross compiling alternatives
Bugs
- Reporting a bug
- Unresolved bugs
Credits
References
Deviations of SML/NJ from Standard ML
- Deviations of SML/NJ from the Basis Library Specification

This document was translated from L^AT_EX by H^EV^EA and H^AC^HA.

MLton User Guide

Copyright © 2004 Henry Cejtin, Matthew Fluet, Suresh Jagannathan, and Stephen Weeks

November 9, 2004

Copyright © 2004
Henry Cejtin, Matthew Fluet, Suresh Jagannathan, and Stephen Weeks