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!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Why .ads as well as .adb?
Date: Mon, 10 Jun 2019 10:01:08 +0100
Organization: A noiseless patient Spider
Message-ID: <lylfy94xwr.fsf@pushface.org>
References: <28facad3-c55f-4ef2-8ef8-004925b7d1f1@googlegroups.com>
	<qd2krk$pin$1@gioia.aioe.org>
	<f37f6f75-62d4-4152-917e-d666d67f6cb7@googlegroups.com>
	<qd6rb8$hl7$1@franka.jacob-sparre.dk>
	<a902e41a-729d-4c00-8e3f-0cda1822a349@googlegroups.com>
	<qd81gq$aej$1@dont-email.me> <87woi0xtwm.fsf@nightsong.com>
	<glpiqeFt9jqU1@mid.individual.net>
	<f611bdb8-5a40-48bd-afe5-17de72bbe193@googlegroups.com>
	<glq1rpF1v52U1@mid.individual.net>
	<4a0438de-1f1d-4469-aae4-908854d378ea@googlegroups.com>
	<qdbvth$3db$1@franka.jacob-sparre.dk>
	<47d02bdc-6b50-43aa-bc5d-bb5b6225f5bd@googlegroups.com>
	<455333f0-ede4-4833-900a-240a499395ac@googlegroups.com>
	<875zphvufc.fsf@nightsong.com> <ln1s03sqkt.fsf@kst-u.example.com>
	<87y32bvbeo.fsf@nightsong.com> <lno936r3jw.fsf@kst-u.example.com>
	<561c766c-4f9c-432c-be9b-822dd9c3c8ba@googlegroups.com>
	<gm5b7mFfj1bU1@mid.individual.net>
	<ebc186da-bb82-41eb-9d3e-a6e43c85ea31@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org;
 posting-host="b2ba2eb32f0aff17fafdfc4533782e76";
	logging-data="30788"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+7o+m4U0mPyhommKU5HeOn4N5N9ZwRE4I="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (darwin)
Cancel-Lock: sha1:FDdaOi1lYlc22IGaJTSkgefvnes=
	sha1:l0RQNznd/y8ruV8DqnLomz11Qgg=
Xref: reader01.eternal-september.org comp.lang.ada:56595
Date: 2019-06-10T10:01:08+01:00
List-Id: <comp.lang.ada>

John Perry <john.perry@usm.edu> writes:

>> AIUI it was generated, but not from an Ada spec (.ads) file.
>
> I would like to know how that was generated. I figured the spec was
> the easiest way to do it. A lot of the documentation in the RM is
> really thorough -- a bit intimidating in its thoroughness, in fact.

See the home of the ARM[1] - scroll down to the second heading, "Ada
Reference Manual Source Files". If you're interested, I'd download the
zip archive - the VCS used appears to be CVS. (Would be better ion
Github, IMO)

It's a requirements manual for what an Ada compiler must do (and, of
course, must not do) so things do have to be spelt out!

There isn't an authoritative user-oriented manual; the Rationale[2] says
why things are the way they are. There are learning materials listed[3].

[1] http://www.ada-auth.org/arm.html
[2] http://www.ada-auth.org/standards/rationale12.html