Modulus of zero or negative

Official Description

6.7.2.2 A term of the form i mod j is an error if j is zero or negative.

Simplified Description

In other words, for the modulus operation, it is an error if the right operand is zero or negative.

Error Handling

This error is always reported.