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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: Pascal Obry <pascal@obry.net>
Newsgroups: comp.lang.ada
Subject: =?ISO-8859-1?Q?Re=A0=3A?= Idiomatic formatting for empty package
Date: Thu, 05 Oct 2017 07:27:58 +0200
Organization: Home - http://www.obry.net
Message-ID: <1507181278.2449.14.camel@obry.net>
References: <or3k95$532$1@gioia.aioe.org> <or3m8r$8n2$1@gioia.aioe.org>
Reply-To: pascal@obry.net
NNTP-Posting-Host: Onmzb1lmgMJx9I+hxUVgQg.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Complaints-To: abuse@aioe.org
X-Notice: Filtered by postfilter v. 0.8.2
X-Mailer: Evolution 3.26.1-1 
Xref: news.eternal-september.org comp.lang.ada:48359
Date: 2017-10-05T07:27:58+02:00
List-Id: <comp.lang.ada>

Le jeudi 05 octobre 2017 =C3=A0 01:10 +0300, Victor Porton a =C3=A9crit :
> Victor Porton wrote:
>=20
> > What is more idiomatic?
> >=20
> > package X is
> > end X;
> >=20
> > or
> >=20
> > package X is
> >=20
> > end X;
>=20
> Hm, or is it the following?
>=20
> package X is
>    pragma Pure(X);
> end X;

Or:

package X with Pure is
end X;

--=20
  Pascal Obry /  Magny Les Hameaux (78)

  The best way to travel is by means of imagination

  http://www.obry.net

  gpg --keyserver keys.gnupg.net --recv-key F949BD3B