From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Ada-95 Success Stories
Date: 1996/05/25
Date: 1996-05-25T00:00:00+00:00 [thread overview]
Message-ID: <dewar.833041095@schonberg> (raw)
In-Reply-To: 31A5F514.2F1CF0FB@escmail.orl.mmc.com
"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.
next prev parent reply other threads:[~1996-05-25 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 [this message]
1996-05-28 0:00 ` Theodore E. Dennison
-- 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 ` Robert Dewar
1996-05-24 0:00 ` Robert Dewar
1996-05-24 0:00 ` James E. Hopper
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