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:

  1. 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.
  2. 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.
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.