Re: Ada.Strings.Bounded

[christoph.grein@eurocopter.com]

When you declare a type

  type T is range 1 .. 10;

the name T denotes the first subtype of the anonymous type of T (the
RM uses T in italics to denote this type, e.g. in 4.5.3, and this type
has the infinite set of mathematical integers).
Thus 11 *is* a value of the type of T (in sloppy language, the type
T).

The static named number

  S: constant := Integer’Last + Integer’Last;

uses the "+" of Integer without overflow and converts the result to
Universal_Integer. Therefore

  S: constant := Integer’Last + Long_Integer’Last;

is not allowed because it mixes two different types, but

  T: constant := Long_Integer’Last;
  U: constant := S + T;

is allowed, the "+" in the last expression being the one of
root_integer.