From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Path: eternal-september.org!reader02.eternal-september.org!aioe.org!pBWEO6hi52oGFheO/GY5ag.user.gioia.aioe.org.POSTED!not-for-mail
From: Stephen Leake <stephen_leake@stephe-leake.org>
Newsgroups: comp.lang.ada
Subject: Re: Advent of code day 12
Date: Sun, 13 Dec 2020 16:01:15 -0800
Organization: Aioe.org NNTP Server
Message-ID: <86v9d5ntmc.fsf@stephe-leake.org>
References: <867dpmpy50.fsf@stephe-leake.org>
	<3739d281-8131-4096-b51d-11ac18647aecn@googlegroups.com>
	<957fd2ad-079d-40c3-8fbf-a7d009deb714n@googlegroups.com>
	<5dd52f99-49c3-4403-859b-58f8bfdabfb7n@googlegroups.com>
	<cedd7bfc-18d9-4718-8ac2-1324656551cen@googlegroups.com>
NNTP-Posting-Host: pBWEO6hi52oGFheO/GY5ag.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain
X-Complaints-To: abuse@aioe.org
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (windows-nt)
Cancel-Lock: sha1:K3t7ndLhuZdX3Nbk1AltShYkU1U=
X-Notice: Filtered by postfilter v. 0.9.2
Xref: reader02.eternal-september.org comp.lang.ada:60830
List-Id: <comp.lang.ada>

Maxim Reznik <reznikmm@gmail.com> writes:

> Take a look at Ada 2005 Rationale:
> https://www.adaic.org/resources/add_content/standards/05rat/html/Rat-2-7.html
>
> The `overriding` specification is optional only to keep backward
> compatibility with Ada 83/95.

I find 'overriding' useful for all tagged types; I always use -gnatyO in
my gnat compiler options. That requires 'overriding' wherever it is
allowed. That makes it very clear what operations are being overridden
for derived types.

-- 
-- Stephe