Re: Is this expected behavior or not

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

On 25.03.13 09:32, Dmitry A. Kazakov wrote:
> On Sun, 24 Mar 2013 09:27:02 +0100, J-P. Rosen wrote:
>
>> Le 24/03/2013 09:17, Dmitry A. Kazakov a �crit :
>>> Moreover, you want to tell that the behavior of an operation would depend
>>> on a variable? Do I read it right? Not on the type or value it has. This is
>>> how you want to deal with simple scalar types?
>> Yes, the behaviour of assignment depends on the SUBTYPE of the target
>> variable.
>
> Merely in order to warn other readers of c.l.a. It is not a variable
> property and there exist cases when this matters. E.g.
>
>     X : Integer := Positive'(-1);
>
> This must raise Constrant_Error,

Yes.

> though X as an Integer variable does not
> have any constraint;

Two things seem logically wrong, here, I think.

1. Ada's Standard.Integer has a constraint. Standard.Positive has
a constraint that is different from Standard.Integer's constraint.
Both, Integer and Positive, refer to the same Ada type, in Ada.

2. And no. Changing the situation by introducing qualified expression
and representing J-P. Rosen's comment as if being about that
situation (when it is not) does not kill the fact that, in Ada,
a constraint error like the above one is not a type error.

This has a type error, in Ada:

   X : Duration := Positive'(-1);

So has this

   X : Duration := Positive'(1);

If Constraint_Error is too weak for you, go ahead, rewrite the language,
and really do so:

If you want Positive to be a type, in Ada, and if it is easy to make it
a type, in Ada---like you have outlined in just a few sentences,
recently---do take the time to make the trivial adjustments to RM 3 etc,
all paragraphs, add or remove paragraphs as needed, outline efforts
needed for implementing, as you have done, and submit.