Re: Is this expected behavior or not

[Shark8 <onewingedshark@gmail.com>]

On Thursday, March 14, 2013 8:26:56 AM UTC-6, Dmitry A. Kazakov wrote:
> On Thu, 14 Mar 2013 13:37:44 +0100, Georg Bauhaus wrote:
> 
> >> We don't talk about Positive'Base. We do about Positive.
> > 
> > Positive'Succ does *not* declare parameters whose subtype is Positive.
> 
> Surely it does. Proof:
> 
>    X : Positive := 1;
>    Y : Positive := Positive'Succ (X);
> 
> Either Ada is untyped or else Positive'Succ is effectively defined on
> Positive and returns Positive.

Objection!
The LRM says this about Types and Subtypes in 3.2 (8/2): 

A subtype of a given type is a combination of the type, a constraint on values of the type, and certain attributes specific to the subtype. The given type is called the type of the subtype. Similarly, the associated constraint is called the constraint of the subtype. The set of values of a subtype consists of the values of its type that satisfy its constraint and any exclusion of the null value. Such values belong to the subtype.

So then the TYPE of Positive is it's base, Integer (even if declared as a subtype of Natural, precisely because the TYPE of natural would also be Integer). If the parameters and results of 'Succ & 'Pred are of 'Base then they must obviously be able to take parameters of the given [SUB]TYPE because it's TYPE *is* 'Base.