From: "Theodore E. Dennison" <dennison@escmail.orl.mmc.com>
Subject: Re: Ada-95 Success Stories
Date: 1996/05/28
Date: 1996-05-28T00:00:00+00:00 [thread overview]
Message-ID: <31AADD16.167EB0E7@escmail.orl.mmc.com> (raw)
In-Reply-To: dewar.833041095@schonberg
Robert Dewar wrote:
>
> "I'd have to agree whole-heartedly with that. I could take or leave tagged types,
> but I'm awaiting the "valid" attribute with baited breath. Never will I fear
> changing optimization levels again!"
>
> The valid attribute is implemented in GNAT, and, as far we we know, and as
> our tests indicate, works fine.
I would have expected no less. Perhaps on my next job, I'll be using a
platform GNAT is validated on (not on this one, though).
--
T.E.D.
| Work - mailto:dennison@escmail.orl.mmc.com |
| Home - mailto:dennison@iag.net |
| URL - http://www.iag.net/~dennison |
next prev parent reply other threads:[~1996-05-28 0:00 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-05-24 0:00 Ada-95 Success Stories tmoran
1996-05-24 0:00 ` Robert Dewar
1996-05-24 0:00 ` Theodore E. Dennison
1996-05-25 0:00 ` Robert Dewar
1996-05-28 0:00 ` Theodore E. Dennison [this message]
-- strict thread matches above, loose matches on Subject: below --
1996-05-15 0:00 Mark Doernhoefer
1996-05-21 0:00 ` Richard B. Johns
1996-05-22 0:00 ` Theodore E. Dennison
1996-05-22 0:00 ` progers
1996-05-22 0:00 ` James E. Hopper
1996-05-22 0:00 ` Laurent Guerby
1996-05-24 0:00 ` Richard B. Johns
1996-05-22 0:00 ` Carl Bowman
1996-05-23 0:00 ` Mark Doernhoefer
1996-05-24 0:00 ` James E. Hopper
1996-05-24 0:00 ` Robert Dewar
1996-05-24 0:00 ` Robert Dewar
1996-06-03 0:00 ` Chris Morgan
1996-06-03 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox