diff options
Diffstat (limited to 'doc')
| -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 f526d9d22..201d7be5e 100755 --- a/doc/manual.txt +++ b/doc/manual.txt @@ -614,11 +614,11 @@ Nimrod requires `interval arithmetic`:idx: for subrange types over a set of built-in operators that involve constants: ``x mod 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 +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 then behaves as a ``mod`` operation.) +(Bitwise ``and`` is then a ``mod`` operation.) This means that the following code is accepted: |