From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: Advent of code day 12
Date: Sun, 13 Dec 2020 16:01:15 -0800 [thread overview]
Message-ID: <86v9d5ntmc.fsf@stephe-leake.org> (raw)
In-Reply-To: cedd7bfc-18d9-4718-8ac2-1324656551cen@googlegroups.com
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
next prev parent reply other threads:[~2020-12-14 0:01 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-12-12 20:28 Advent of code day 12 Stephen Leake
2020-12-13 1:33 ` John Perry
2020-12-13 6:40 ` Maxim Reznik
2020-12-13 11:36 ` Gautier Write-Only Address
2020-12-13 15:41 ` John Perry
2020-12-13 18:35 ` Maxim Reznik
2020-12-13 22:29 ` John Perry
2020-12-14 9:15 ` Maxim Reznik
2020-12-14 0:01 ` Stephen Leake [this message]
2020-12-13 9:14 ` Gautier Write-Only Address
2020-12-13 15:32 ` John Perry
2020-12-13 9:30 ` Jeffrey R. Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox