comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: RM with accepted changes, available?
Date: Tue, 14 Nov 2017 17:27:33 -0600
Date: 2017-11-14T17:27:33-06:00	[thread overview]
Message-ID: <oufu56$utn$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: f5bsfnF6q1dU1@mid.individual.net

"Niklas Holsti" <niklas.holsti@tidorum.invalid> wrote in message 
news:f5bsfnF6q1dU1@mid.individual.net...
> On 17-10-25 01:58 , Randy Brukardt wrote:
>> (For instance, the recent ARG meeting
>> that gave me this nasty flu,

It turns out that I didn't have the flu and I didn't get it from the ARG 
meeting or most likely the associated travel. After 11 days in the hospital 
and following recovery, I'm now just getting back to (some) work.

>> ... approved the "delta aggregate" AI. But it
>> probably will get some changes as bugs are discovered, and it may be a 
>> long
>> time before it appears in implementations.)
>
> Yes, it may. However, as it happens, a recent e-mail from AdaCore says 
> that delta aggregates are supported in the pre-release of GNAT Pro 18.0, 
> now available to customers for evaluation.

That's probably not implemented exactly as described by the AI/future 
Standard, since we just finished work on it a few days before the date of 
this message. Also, experience shows that these early implementations are 
often full of bugs (usually, the first few ACATS tests for a feature show 
*lots* of problems). So I wouldn't depend too much on those features yet - 
they'll probably change some before being "right".

                               Randy.



      parent reply	other threads:[~2017-11-14 23:27 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-10-21 19:22 RM with accepted changes, available? Victor Porton
2017-10-21 19:46 ` Victor Porton
2017-10-22  0:44   ` Shark8
2017-10-22 10:46     ` Victor Porton
2017-10-23 15:57       ` Shark8
2017-10-24 22:58   ` Randy Brukardt
2017-10-25 16:29     ` Niklas Holsti
2017-10-26 17:24       ` Simon Clubley
2017-11-14 23:27       ` Randy Brukardt [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