diff options
Diffstat (limited to 'doc/manual.txt')
| -rwxr-xr-x | doc/manual.txt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/manual.txt b/doc/manual.txt index df64649ed..e5814b9d6 100755 --- a/doc/manual.txt +++ b/doc/manual.txt @@ -621,14 +621,14 @@ determined). Assignments from the base type to one of its subrange types A subrange type has the same size as its base type (``int`` in the example). Nimrod requires `interval arithmetic`:idx: for subrange types over a set -of built-in operators that involve constants: ``x mod 3`` is of +of built-in operators that involve constants: ``x %% 3`` is of type ``range[0..2]``. The following built-in operators for integers are affected by this rule: ``-``, ``+``, ``*``, ``min``, ``max``, ``succ``, -``pred``, ``mod``, ``div``, ``and`` (bitwise ``and``). +``pred``, ``mod``, ``div``, ``%%``, ``and`` (bitwise ``and``). Bitwise ``and`` only produces a ``range`` if one of its operands is a constant *x* so that (x+1) is a number of two. -(Bitwise ``and`` is then a ``mod`` operation.) +(Bitwise ``and`` is then a ``%%`` operation.) This means that the following code is accepted: |