From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Idiomatic formatting for empty package
Date: Tue, 10 Oct 2017 10:38:15 -0700 (PDT)
Date: 2017-10-10T10:38:15-07:00 [thread overview]
Message-ID: <0e07e8da-faf0-4124-adbf-c654d6193089@googlegroups.com> (raw)
In-Reply-To: <orilq8$c91$1@dont-email.me>
Am Dienstag, 10. Oktober 2017 16:34:51 UTC+2 schrieb Jeffrey R. Carter:
> On 10/10/2017 12:21 PM, AdaMagica wrote:
> > But those renamings don't clutter the user's namespace since the names may be
> > used for user-created packages: RM J.1(10), AARM A.2(4.a).
>
> Yes, but I'd never use those names, since they'd confuse the reader, who would
> reasonably assume they were the renamings. So they're still effectively off limits.
Ha! This facility once redounded to my advantage when rehosting airborne Ada 83 code for a full scale flight simulator in Ada 95. Package Calendar had to be replaced by a simulated time calendar. Rather than searching the millions of lines of code and exchanging Calender by Sim_Calendar, I only had to declare
package Calendar renames Sim_Calendar;
(I know I was lucky because the airborne code used Ada 83 and I could use newer Ada generations.)
next prev parent reply other threads:[~2017-10-10 17:38 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-10-04 21:36 Idiomatic formatting for empty package Victor Porton
2017-10-04 22:10 ` Victor Porton
2017-10-05 5:27 ` Re : " Pascal Obry
2017-10-05 18:10 ` marciant
2017-10-05 23:37 ` Randy Brukardt
2017-10-06 20:04 ` marciant
2017-10-07 1:55 ` Randy Brukardt
2017-10-05 23:36 ` Randy Brukardt
2017-10-06 8:47 ` Jeffrey R. Carter
2017-10-07 1:52 ` Randy Brukardt
2017-10-07 6:55 ` Jeffrey R. Carter
2017-10-09 21:45 ` Randy Brukardt
2017-10-10 7:12 ` Jeffrey R. Carter
2017-10-10 10:21 ` AdaMagica
2017-10-10 14:34 ` Jeffrey R. Carter
2017-10-10 17:38 ` AdaMagica [this message]
2017-10-05 23:49 ` andrewshvets
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox