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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.109.56.14.26.mobile.3.dk!not-for-mail
From: Jacob Sparre Andersen <jacob@jacob-sparre.dk>
Newsgroups: comp.lang.ada
Subject: Re: Why are Ada compilers difficult to write ?
Date: Thu, 21 Jun 2018 16:02:15 +0200
Organization: JSA Research & Innovation
Message-ID: <87tvpw9r14.fsf@jacob-sparre.dk>
References: <584564c2-9f64-4965-b045-535cdaf899c0@googlegroups.com>
	<87tvpy5tcy.fsf@jacob-sparre.dk>
	<c6a18473-573e-4cf4-b863-c1ba13ed6e95@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: franka.jacob-sparre.dk;
 posting-host="109.56.14.26.mobile.3.dk:109.56.14.26";
	logging-data="13201"; mail-complaints-to="news@jacob-sparre.dk"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
Cancel-Lock: sha1:/VU5M3JpBj02ye536JiuNS2CR/A=
Xref: reader02.eternal-september.org comp.lang.ada:53224
Date: 2018-06-21T16:02:15+02:00
List-Id: <comp.lang.ada>

Lucretia <laguest9000@googlemail.com> writes:
> On Tuesday, 19 June 2018 23:01:02 UTC+1, Jacob Sparre Andersen  wrote:

>> And finally, I suspect the fact that there is an actual validation
>> test suite makes it hard to get away with claiming that something is
>> an Ada compiler, if it doesn't implement the whole language.
>
> Subsets are allowed now via pragma Restrictions and pragma Profile, so
> that's no longer true.

But you would still have to document what it implements.  The Ada
community seems to be slightly more critical consumers, when it comes to
compiler quality.

Greetings,

Jacob
-- 
Beware of people with Gnus, they may Hurd you.