| From: | "David G(dot) Johnston" <david(dot)g(dot)johnston(at)gmail(dot)com> |
|---|---|
| To: | Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> |
| Cc: | "shtoorman(dot)sam(at)gmail(dot)com" <shtoorman(dot)sam(at)gmail(dot)com>, "pgsql-docs(at)lists(dot)postgresql(dot)org" <pgsql-docs(at)lists(dot)postgresql(dot)org> |
| Subject: | Re: 8.5.2 "integral" - "integer" |
| Date: | 2023-01-07 17:07:02 |
| Message-ID: | CAKFQuwYnuFoZDvC-3dLv9Ygr0=JQFTxJe4k1sfQCF=C1ZM2kHA@mail.gmail.com |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-docs |
On Saturday, January 7, 2023, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> PG Doc comments form <noreply(at)postgresql(dot)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.
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Laurenz Albe | 2023-01-09 15:40:10 | Re: Postgres Partitions Limitations (5.11.2.3) |
| Previous Message | Tom Lane | 2023-01-07 16:14:09 | Re: 8.5.2 "integral" - "integer" |