From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: type casting tagged types in the wrong direction
Date: 1996/03/28
Date: 1996-03-28T00:00:00+00:00 [thread overview]
Message-ID: <dewar.828067254@schonberg> (raw)
In-Reply-To: DozKGv.CwJ.0.-s@inmet.camb.inmet.com
Jon said
": Should a validated Ada95 compiler flag this usage? I realize that GNAT
: is not validated."
You realize wrong! GNAT was the first general purpose Ada 95 compiler
to be validated. We validated on the floor at Tri-Ada 96, and are now
the proud owners of ACVC 2.0 validation certificates numbers 2, 3 and
4. These validations were for SGI machines, but we expect many othr
GNAT validations in the future.
Of course validation does not ensure 100% compliance, so it is by no
means amazing to find a bug, but in fact this particular bug is
certainly fixed now (I don't know when exactly it was fixed), and
we now get a nice error message.
next prev parent reply other threads:[~1996-03-28 0:00 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-03-27 0:00 type casting tagged types in the wrong direction James A. Squire
1996-03-28 0:00 ` Norman H. Cohen
1996-03-28 0:00 ` Robert Dewar
1996-03-28 0:00 ` Tucker Taft
1996-03-28 0:00 ` Robert Dewar [this message]
1996-03-30 0:00 ` Fergus Henderson
1996-03-31 0:00 ` Robert Dewar
1996-03-29 0:00 ` type casting tagged types in the wrong Scott Moody
[not found] <md5:5AA0EAFF641BB9F461162E7F13E1101F>
1996-03-29 0:00 ` type casting tagged types in the wrong direction James A. Squire
1996-03-29 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