What are errors?
ISO/IEC 7185 defines an error as follows:
A violation by a program of the requirements of this International Standard that a
processor is permitted to leave undetected.
ISO/IEC 7185 then goes on to add the following two notes:
Below are links to documentation of how Irie Pascal handles all errors. Most of the time the
documentation consists only of a statement about whether or not the error is reported.
The description of each error is taken from ISO/IEC 7185.
- If it is possible to construct a program in which the violation or non-violation of
this International Standard requires knowledge of the data read by the program or the
implementation definition of implementation-defined features, then violation of that
requirement is classified as an error. Processors may report on such violations of the
requirement without such knowledge, but there are always remain some cases that require
execution, simulated execution, or proof procedures with the required knowledge. Requirements
that can be verified without such knowledge are not classified as errors.
- Processors should attempt the detection of as many errors as possible, and to as
complete a degree as possible. Permission to omit detection is provided for implementations
in which the detection would be an excessive burden.