Re: Min/Max attribute makes promises it can't keep

["Randy Brukardt" <randy@rrsoftware.com>]

"Robert A Duff" <bobduff@shell01.TheWorld.com> wrote in message 
news:wcczl0o7g13.fsf@shell01.TheWorld.com...
> Martin <martin.dowie@btopenworld.com> writes:
>
>>    Put (Positive (Positive'Min(Nat, Pos)));
>
> That works, but I think a qualified expression is better:
>
>   Put (Positive'(Positive'Min(Nat, Pos)));
>
> By the way, there are lots of attributes that work
> like this (use the base subtype).  It's not just Min
> and Max.

Right. Attributes mostly type-related, not subtype-related. The name in the 
prefix serves to identify the type, not the subtype (there are no named 
types in Ada, only named subtypes).

All of 'Succ, 'Pred, 'Val, and 'Value work this way, and there are probably 
many, many more. Even 'First and 'Last technically work this way (although 
it doesn't matter in that case).

                           Randy.