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.9 required=5.0 tests=BAYES_00 autolearn=ham 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-25 03:08:05 PST Path: supernews.google.com!sn-xit-03!supernews.com!freenix!isdnet!grolier!dispose.news.demon.net!news.demon.co.uk!demon!pogner.demon.co.uk!zap!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: Ada to C++ translator? Date: 24 Feb 2001 08:38:50 +0000 Organization: CodeFella Message-ID: 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> <976jbu$3p4$1@nh.pace.co.uk> NNTP-Posting-Host: localhost X-NNTP-Posting-Host: pogner.demon.co.uk:158.152.70.98 X-Trace: news.demon.co.uk 983099218 nnrp-12:28086 NO-IDENT pogner.demon.co.uk:158.152.70.98 X-Complaints-To: abuse@demon.net NNTP-Posting-Date: 24 Feb 2001 08:38:50 GMT X-Newsreader: Gnus v5.7/Emacs 20.7 Xref: supernews.google.com comp.lang.ada:5519 Date: 2001-02-24T08:38:50+00:00 List-Id: "Marin David Condic" writes: > "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.) I'm sure it would be possible to produce a compiler switch that said "only accept the SPARK subset", as GNAT does for the Ravenscar subset; however, I don't think anyone has. I may be wrong, but the process is (in part) write your code check it with the SPARK tools compile with your normal compiler which is very like write your code inspect it for deviations from your project standards compile with your normal compiler I'm sure we actually agree on this one at heart!