Re: Subtype predicates

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

On 08/24/2016 05:08 PM, Shark8 wrote:
> 
> Hm, another argument for a 'Type attribute, then we could say
> 
> type Human_Life_Span is range 0 .. 130
>   with Default_Value => Human_Life_Span'Type'First; 

Perhaps. The ARG seem leary of adding features where there's a work around, and
you can always say

type Human_Life_Span is range 0 .. 130 with
   Default_Value => 0;

If you're worried about Human_Life_Span'First and its default value diverging,
you can instead say

Human_Life_Span_First : constant := 0;

type Human_Life_Span is range Human_Life_Span_First .. 130 with
   Default_Value => Human_Life_Span_First;

-- 
Jeff Carter
"He had no conception of the instrument. He
was blowing into it."
Take the Money and Run
135