4.7.5 The Language structure

oldDefinition

Compatibility option

Structure

Shell.Options.Language

Type

val oldDefinition: bool option

Description

If true, use the 1990 definition of ML, as in the Definition. When oldDefinition is true, new features that are compatible with the old definition are not suppressed, but where there is a conflict between old and new, the old version is implemented.

MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker