Re: Ada.Strings.Bounded

[Eric Hughes <eric.eh9@gmail.com>]

On Apr 21, 7:02 pm, Adam Beneschan <a...@irvine.com> wrote:
> The expected type is Z; therefore, in
> example C, the only possible meaning for "-" is the function that
> takes two arguments of type Z and returns Z.  That, in turn, applies
> to "+". So it's 100% clear from the language rules what functions are
> called by this expression.  The reason it doesn't raise
> Constraint_Error is 4.9(33), as I mentioned earlier.

OK.  But then what's the type of the subexpression "( Z0 + 1 )" within
the static expression "( Z0 + 1 ) - 1"?  It can't be of type Z, since
it's outside the bounds of type Z.  And the addition chosen can't be
the same addition as the declared one, which returns Z, and that
subexpression returns something that's not in Z.  The addition used
here has a different signature.

It seems that the overload resolution rules don't apply when
universal_integer is involved.  This seems a pretty obvious
consequence of 4.9(33).

Eric