The Pascal compiler company
6.7.2.2 A term of the form i mod j is an error if j is zero or negative.
In other words, for the modulus operation, it is an error if the right operand is zero or negative.
This error is always reported.