 |
 |
 |
 |
 |
Documentation for Poly/ML
The documentation tree is available as a gzipped tar file (134k) or a zipped archive (170k).
Using Poly/ML
This describes how to run Poly/ML and also a number of the extensions to Poly/ML such as
the "make" system and the Process structure. It was written for version 3
of Poly/ML so some sections of it have been superseded by the Standard Basis Library.
Poly/ML Interface to the C
Programming Language
Poly/ML includes a CInterface structure which allows dynamic linking to libraries written
in languages such as C or Fortran. This document describes the interface.
Poly/ML for Motif Quick Reference
Manual
An introduction to the Motif interface for Poly/ML together with a simple example program.
Windows Programming in Poly/ML
A short tutorial on programming Windows in Poly/ML.
Windows Interface
Reference
The reference for the Windows interface.
Short Documents.
The Standard Basis
A short overview of the Standard Basis with specific reference to the implementation in
Poly/ML .
The Signal structure
Although the Posix structure in the Standard Basis Library provides functions
which send signals to a process there is no standard method of handling signals. The
Signal structure has been added to Poly/ML to allow signals to be blocked or
handled.
Source Level Debugging in
Poly/ML
Version 4.1 includes a source level debugger. This document explains how to use it
to debug an ML program.
Other documentation.
Porting Poly/ML
How to port Poly/ML to another operating system and/or machine architecture. This is
currently being written.
Last updated: 08 February 2002 by David Matthews.