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=-0.4 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00 autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,1d52a75fd633fefc X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-02-23 13:25:32 PST Path: supernews.google.com!sn-xit-02!supernews.com!isdnet!newsfeeds.belnet.be!news.belnet.be!news.tele.dk!195.224.53.60!nntp.news.xara.net!xara.net!gxn.net!news.lattis.xara.net!psiuk-f4!psiuk-p4!uknet!psiuk-n!news.pace.co.uk!nh.pace.co.uk!not-for-mail From: "Marin David Condic" Newsgroups: comp.lang.ada Subject: Re: Ada to C++ translator? Date: Fri, 23 Feb 2001 16:05:11 -0500 Organization: Posted on a server owned by Pace Micro Technology plc Message-ID: <976jbu$3p4$1@nh.pace.co.uk> References: <3A844255.24A4DBA3@lmco.com> <3A866B28.CE67B4A0@yyy.zzz> <3A8C6AA3.3F90043D@lmco.com> <%Wvk6.102$aw5.380@www.newsranger.com> <9713k0$6ao$1@nh.pace.co.uk> NNTP-Posting-Host: 136.170.200.133 X-Trace: nh.pace.co.uk 982962366 3876 136.170.200.133 (23 Feb 2001 21:06:06 GMT) X-Complaints-To: newsmaster@pace.co.uk NNTP-Posting-Date: 23 Feb 2001 21:06:06 GMT X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Xref: supernews.google.com comp.lang.ada:5495 Date: 2001-02-23T21:06:06+00:00 List-Id: "Simon Wright" wrote in message news:x7vy9uz3eyd.fsf@smaug.pushface.org... > "Marin David Condic" writes: > > > "Brian Rogoff" wrote in message > > news:Pine.BSF.4.21.0102211030150.7325-100000@shell5.ba.best.com... > > > I don't understand your complaint in the context of "now", since there are > > > Ada subsets (like SPARK) and I don't expect a Spanish Inquisition... > > > uh-oh :-) > > > > > There have *always* been subsets of Ada - they just couldn't be validated > > and were restricted from calling themselves "Ada". > > There's a difference between a compiler which doesn't support the full > language and a project choosing not to use the full language! And your point would be? :-) Seriously, I understand there is a distinction, but I don't know that it makes any difference. SPARK is a chosen subset of Ada and I'd presume that if one bought the SPARK compiler that it would compile only the SPARK subset. (Or at least someone might choose to implement a compiler for SPARK that way.) Other compilers back in '83 and shortly thereafter were also subsets - albeit the choice was for different reasons. Still, there you have it. A choice was made that a subset of Ada was desirable for technical reasons - space/time back then, rather than safety. Subsets of Ada have always been around and the rules aren't so different today. (SPARK doesn't call itself "Ada" and isn't validated, right?) The DoD never said that a subset couldn't exist - just that it couldn't call itself "Ada" and wouldn't be validated. MDC -- Marin David Condic Senior Software Engineer Pace Micro Technology Americas www.pacemicro.com Enabling the digital revolution e-Mail: marin.condic@pacemicro.com Web: http://www.mcondic.com/