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: 10c950,90121986704b5776
X-Google-Attributes: gid10c950,public
X-Google-Thread: fdb77,4873305131bf4d94
X-Google-Attributes: gidfdb77,public
X-Google-Thread: 1014db,4873305131bf4d94
X-Google-Attributes: gid1014db,public
X-Google-Thread: 10261c,90121986704b5776
X-Google-Attributes: gid10261c,public
X-Google-Thread: 109fba,4873305131bf4d94
X-Google-Attributes: gid109fba,public
X-Google-Thread: 103376,4873305131bf4d94
X-Google-Attributes: gid103376,public
From: Jon S Anthony <jsa@synquiry.com>
Subject: Re: ADA and Pascal SUCK, C,C++,
 and Java are the only languages you need!!
Date: 1997/11/13
Message-ID: <ufg1p0efm7.fsf@synquiry.com>#1/1
X-Deja-AN: 289310956
Distribution: world
References: <34557f2b.1934172@news.mindspring.com>
 <34566fe9.447229@news.mindspring.com> <345673af.1413708@news.mindspring.com>
 <3456b9f3.0@news.eznet.net> <3456e71b.3833189@news.mindspring.com>
 <MPG.ec1256665b68f1b98979d@news.primenet.com> <3459AC95.1D75@dynamite.com.au>
 <slrn66211n.91f.jstevens@samoyed.ftc.nrcs.usda.gov> <3468B532.3ACC@le.ac.uk>
 <slrn66ju31.sal.jstevens@samoyed.ftc.nrcs.usda.gov>
 <64dedg$i9o@netra.montana.edu>
Organization: PSINet
Newsgroups: 
 comp.lang.ada,comp.lang.c,comp.lang.c++,comp.lang.java.advocacy,comp.lang.pascal.ansi-iso,comp.lang.pascal.misc
Date: 1997-11-13T00:00:00+00:00
List-Id: <comp.lang.ada>


"Larry Elmore" <ljelmore@montana.campus.mci.net> writes:

> GNAT is a validated Ada 95 compiler. I'm not at all sure, but I
> think it still might be the _only_ validated Ada 95 compiler
> available. Maybe that's changed recently, though.

Not for some time.  Actually the very first validated Ada95 compiler
was one from Intermetric's which used their nifty AdaMagic FE.

I think I saw somewhere that there were around 40 or so validated
compilers for Ada95 at this time.  Certainly ObjectAda from Aonix is
validated and includes the "big 4" annexes.

/Jon

-- 
Jon Anthony
Synquiry Technologies, Ltd., Belmont, MA 02178, 617.484.3383
"Nightmares - Ha!  The way my life's been going lately,
 Who'd notice?"  -- Londo Mollari