From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Idiomatic formatting for empty package
Date: Fri, 6 Oct 2017 20:55:35 -0500
Date: 2017-10-06T20:55:35-05:00 [thread overview]
Message-ID: <or9c6n$v7d$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: 7eac50d1-33d2-4872-9a3f-a438394b654f@googlegroups.com
marciant@earthlink.net> wrote in message
news:7eac50d1-33d2-4872-9a3f-a438394b654f@googlegroups.com...
On Thursday, October 5, 2017 at 7:37:54 PM UTC-4, Randy Brukardt wrote:
> > Or:
> >
> > package X with Pure is end;
>
> FYI, John Barnes hates this form. Best to put the end on a line by itself.
>If it is being used as the "root" of a hierarchy that has both visible and
>private
>children - possibly the answer to you question in a different post - then
>it
>probably is the only code in a file that just has comments/documentation.
>If
>so, it seems useless to me to have to have a line break and repeat the name
>in that case.
I prefer consistency to special-case rules. Ergo, I *always* repeat the name
if the language allows that. (I probably wouldn't use the task shorthand,
either.) YMMV.
In any case, I just read a new rant from John about "is end" at the end of
empty packages. You best not have him as one of your code reviewers. ;-)
Randy.
Randy.
next prev parent reply other threads:[~2017-10-07 1:55 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 [this message]
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
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