Contents
1
Overview
2
Differences with Standard ML
2.1
Sets
2.2
Numbers and Physical Units
2.3
Other Differences
3
Core Types
4
The Standard Library
4.1
General Purpose Exceptions and Functions
4.2
Lists
4.3
Sets and Maps
4.4
Refs and Arrays
4.5
Strings
4.6
Regular expressions
4.7
Integer Arithmetic
4.8
Numerical Operations
4.9
Large Integer Arithmetic
4.10
Input/Output
4.11
Lexing and Parsing
4.12
Miscellaneous
5
Running the System
5.1
Starting up
5.2
Compiling, Linking, Finding Dependencies
5.3
Debugger
5.4
Profiler
5.5
Separate Compilation and Modules
5.6
Editor Support
5.7
Bugs
5.8
Common Problems
5.9
Reporting Bugs, Making Suggestions
A
Precedence Table
Bibliography
Index
Index