MLton 20070826 SMLNJLibrary
Home  Index  
The [WWW]SML/NJ Library is a collection of libraries that are distributed with SML/NJ. Due to differences between SML/NJ and MLton, these libraries will not work out-of-the box with MLton.

As of 20070812, MLton includes a port of the SML/NJ Library, currently synchronized with SML/NJ version 110.65.

Usage

Details

The following changes were made to the SML/NJ Library, in addition to deriving the .mlb files from the .cm files:

Patch


Last edited on 2007-08-23 17:24:54 by MatthewFluet.