1 Conventions in this Manual
1.8 Terminology pertaining to error conditions
When this documentation specifies that it "is an error" for some situation to occur, this means that:
- No valid DUIM program should cause this situation to occur.
- If this situation does occur, the effects and results are undefined.
- DUIM often tries to detect such an error, but it might not.
When this manual specifies that some argument "must be a type" or uses the phrase ``the type argument'', this means that it is an error if the argument is not of the specified type. DUIM tries to detect such type errors, but it might not always be successful.
When this documentation says that "an error is signalled" in some situation, this means that:
- If the situation occurs, DUIM will signal an error using
errororcerror. - Valid DUIM programs may rely on the fact that an error will be signalled.
When this manual states that "a condition is signalled" in a given situation, this is the same as saying that "an error is signalled", with the exception that the condition will be signalled using signal instead of error.