From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,6742ab01b9814abe X-Google-Attributes: gid103376,public From: "James A. Squire" Subject: Re: type casting tagged types in the wrong direction Date: 1996/03/29 Message-ID: <315BFDE7.EFB@csehp3.mdc.com>#1/1 X-Deja-AN: 144869750 sender: Ada programming language references: comments: cc: ja_squire@csehp3.mdc.com content-type: text/plain; charset=us-ascii organization: MDA Avionics Tools & Processes mime-version: 1.0 newsgroups: comp.lang.ada x-mailer: Mozilla 2.0 (X11; I; HP-UX A.09.01 9000/715) Date: 1996-03-29T00:00:00+00:00 List-Id: Robert Dewar wrote: > 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. So the one at ftp://cs.nyu.edu/pub/gnat/ is validated? The ones you mention above are commercially available from SGI. > Of course validation does not ensure 100% compliance, so it is by no Perhaps I am a virgin, but I don't see how a compiler passes validation without properly giving an error message. Tucker Taft mentioned something about needing a new ACVC test. Sounds to me like the validation suite ain't quite up to snuff yet. Of course, that's true anyway since there is no such thing yet as full validation anyway. There won't be until a year from now (ACVC 2.1 is what is needed for full validation). > 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. What do you mean by "now"? It is not fixed in 3.03 (which is what I am running), and according to the above mentioned ftp site this is still the latest version, so it is most certainly not fixed "now". -- James Squire MDA Avionics Tools & Processes ja_squire@csehp3.mdc.com "one of these days I'm going to better myself by going to Knight school"