Re: Ada.Real_Time.Time_Last

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

On 11/18/2017 02:18 PM, Niklas Holsti wrote:
>>>
>>>     type Count is private range <>;
> 
> This proposal is meant to remove this problem, by letting the 
> programmer provide more information about the private type, in the same way as 
> information can now be provided about generic formal types, to equip those types 
> with predefined operators that can be used in the generic.

If by that you mean that all the operations available for a generic formal

    type Count is range <>;

are also available for this private type, then Count'First and Count'Last are 
available, and there's nothing private about the type at all. I can't see that 
this buys anything.

-- 
Jeff Carter
"I don't know why I ever come in here. The
flies get the best of everything."
Never Give a Sucker an Even Break
102