3.1 Introduction

3.1.1 Deprecated and undocumented features

In the skeletal signature above, some structures are marked with an asterisk. Those structures are deprecated, and will be removed in a later release of MLWorks. They are accordingly not documented here.

The structures are deprecated because, with the adoption of the Standard ML Basis library, the functionality they provide has been superseded by functionality provided by the Basis.

The IO structure provides input/output facilities. It has been superseded by the Basis library's IO structure.
The Option structure provides yet another description of the 'a option type. Note that MLWorks.Option.option is the same type as General.option, which in turn is the same type as the top-level option.
The String structure implements various operations on strings; again this has been superseded by the Basis String structure, and so will soon vanish.
The Time structure provides a programmatic interface to the MLWorks timer. It has been superseded by the Basis structures Time and Timer. Time is deprecated, but minimally documented because in MLWorks 1.0 the profiler uses it. However, the profiler will use Basis time facilities in a future release.

Note: The Internal structure is not intended for external use; it too is not documented.

MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker