diff options
Diffstat (limited to 'doc/manual.rst')
| -rw-r--r-- | doc/manual.rst | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/manual.rst b/doc/manual.rst index 50fbabd9d..53f900ae3 100644 --- a/doc/manual.rst +++ b/doc/manual.rst @@ -827,7 +827,10 @@ Ordinal types have the following characteristics: Integers, bool, characters and enumeration types (and subranges of these types) belong to ordinal types. For reasons of simplicity of implementation -the types ``uint`` and ``uint64`` are not ordinal types. +the types ``uint`` and ``uint64`` are not ordinal types. (This will be changed +in later versions of the language.) + +A distinct type is an ordinal type if its base type is an ordinal type. Pre-defined integer types @@ -1801,6 +1804,8 @@ and its base type. Explicit type conversions from a distinct type to its base type and vice versa are allowed. See also ``distinctBase`` to get the reverse operation. +A distinct type is an ordinal type if its base type is an ordinal type. + Modelling currencies ~~~~~~~~~~~~~~~~~~~~ |