pg.ddx.io pgsql-docs@postgresql.org mailing list archive
help / color / mirror / Atom feed8.5.2 "integral" - "integer"
3+ messages / 3 participants
[nested] [flat]
* 8.5.2 "integral" - "integer"
@ 2023-01-07 11:24 PG Doc comments form <noreply@postgresql.org>
0 siblings, 1 reply; 3+ messages in thread
From: PG Doc comments form @ 2023-01-07 11:24 UTC (permalink / raw)
To: pgsql-docs@lists.postgresql.org; +Cc: shtoorman.sam@gmail.com
The following documentation comment has been logged on the website:
Page: https://www.postgresql.org/docs/15/datatype-datetime.html
Description:
I think, the "integer" will be good choice instead "integral'":
8.5.2
...
"The offset will be shown as hh (hours only) if it is an integral number of
hours, else as hh:mm if it is an integral number of minutes, else as
hh:mm:ss. (The third case is not possible with any modern"
^ permalink raw reply [nested|flat] 3+ messages in thread
* Re: 8.5.2 "integral" - "integer"
@ 2023-01-07 16:14 Tom Lane <tgl@sss.pgh.pa.us>
parent: PG Doc comments form <noreply@postgresql.org>
0 siblings, 1 reply; 3+ messages in thread
From: Tom Lane @ 2023-01-07 16:14 UTC (permalink / raw)
To: shtoorman.sam@gmail.com; +Cc: pgsql-docs@lists.postgresql.org
PG Doc comments form <noreply@postgresql.org> writes:
> I think, the "integer" will be good choice instead "integral'":
> 8.5.2
> ...
> "The offset will be shown as hh (hours only) if it is an integral number of
> hours, else as hh:mm if it is an integral number of minutes, else as
> hh:mm:ss. (The third case is not possible with any modern"
"Integral" seems like perfectly good English to me here.
regards, tom lane
^ permalink raw reply [nested|flat] 3+ messages in thread
* Re: 8.5.2 "integral" - "integer"
@ 2023-01-07 17:07 David G. Johnston <david.g.johnston@gmail.com>
parent: Tom Lane <tgl@sss.pgh.pa.us>
0 siblings, 0 replies; 3+ messages in thread
From: David G. Johnston @ 2023-01-07 17:07 UTC (permalink / raw)
To: Tom Lane <tgl@sss.pgh.pa.us>; +Cc: shtoorman.sam@gmail.com <shtoorman.sam@gmail.com>; pgsql-docs@lists.postgresql.org <pgsql-docs@lists.postgresql.org>
On Saturday, January 7, 2023, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> PG Doc comments form <noreply@postgresql.org> writes:
> > I think, the "integer" will be good choice instead "integral'":
> > 8.5.2
> > ...
> > "The offset will be shown as hh (hours only) if it is an integral number
> of
> > hours, else as hh:mm if it is an integral number of minutes, else as
> > hh:mm:ss. (The third case is not possible with any modern"
>
> "Integral" seems like perfectly good English to me here.
>
Even if technically correct I’d probably go with integer in deference to
non-native speakers and the fact that integral has two other much more
commonly used meanings than as a synonym for integer.
David J.
^ permalink raw reply [nested|flat] 3+ messages in thread
end of thread, other threads:[~2023-01-07 17:07 UTC | newest]
Thread overview: 3+ messages (download: mbox mbox.gz follow: Atom feed)
-- links below jump to the message on this page --
2023-01-07 11:24 8.5.2 "integral" - "integer" PG Doc comments form <noreply@postgresql.org>
2023-01-07 16:14 ` Tom Lane <tgl@sss.pgh.pa.us>
2023-01-07 17:07 ` David G. Johnston <david.g.johnston@gmail.com>
This inbox is served by DDX for PostgreSQL; see mirroring instructions
for how to clone and mirror all data and code used for this inbox