From: Shark8 <onewingedshark@gmail.com>
Subject: Re: Subtype predicates
Date: Thu, 1 Sep 2016 13:16:52 -0700 (PDT)
Date: 2016-09-01T13:16:52-07:00 [thread overview]
Message-ID: <25e18dab-52ac-4082-aaa2-f7458be9be2c@googlegroups.com> (raw)
In-Reply-To: <nq76u8$sqg$1@franka.jacob-sparre.dk>
On Wednesday, August 31, 2016 at 12:16:54 PM UTC-6, Randy Brukardt wrote:
> "Shark8" wrote in message
> ...
> > 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;
>
> We examined that extensively, since someone (you, perhaps??) already
> suggested it. It's a can of worms, in fact a case of worms. See AI12-0123-1
> for some problems.
>
> The odds of Ada adding this attribute are roughly the same as me marrying a
> supermodel.
>
> Randy.
In this particular case it could be like the Fn'Result attribute: only available/valid in the function's aspects -- only in this case being the type's.
prev parent reply other threads:[~2016-09-01 20:16 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-08-23 20:14 Subtype predicates Anh Vo
2016-08-24 13:06 ` AdaMagica
2016-08-24 16:45 ` Shark8
2016-08-24 21:18 ` Anh Vo
2016-08-24 21:32 ` Shark8
2016-08-24 21:54 ` Jeffrey R. Carter
2016-08-25 0:08 ` Shark8
2016-08-25 0:31 ` Jeffrey R. Carter
2016-08-25 17:28 ` Anh Vo
2016-08-31 18:16 ` Randy Brukardt
2016-09-01 8:09 ` J-P. Rosen
2016-09-01 20:02 ` Randy Brukardt
2016-09-01 20:16 ` Shark8 [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox