On Fri, Apr 12, 2024 at 04:55:16PM -0400, Bruce Momjian wrote:
> On Thu, Apr 11, 2024 at 03:37:00PM +0200, Daniel Gustafsson wrote:
> > On 11 Apr 2024, at 15:29, David Rowley <dgrowleyml@gmail.com> wrote:
> >
> > On Fri, 12 Apr 2024, 1:05 am Daniel Gustafsson, <daniel@yesql.se> wrote:
> >
> > Now that the tree has settled down a bit post-freeze I ran some tooling
> > to
> > check spelling. I was primarily interested in docs and README* which
> > were
> > mostly free from simply typos, while the code had some in various
> > comments and
> > one in code. The attached fixes all that I came across (not
> > cross-referenced
> > against ongoing reverts or any other fixup threads but will be before
> > pushing
> > of course).
> >
> >
> > I see you've corrected "iif" to "if". It should be "iff".
> >
> >
> > Gotcha, will fix. I opted for "if" due to recent threads where the use of
> > "iff" was discouraged due to not being commonly known, but that was in doc/ and
> > not code comments.
>
> I actually agree "iff" is just not clear enough. "Iff" stands for "if
> and only if" and maybe should be spelled out that way.
Just to clarify, I think "if and only if" means "if A then B" and B can
only happen if A happens, meaning there are not other cases where B can
happen. This latter part is what disinguishes "iff" from "if".
--
Bruce Momjian <bruce@momjian.us> https://momjian.us
EDB https://enterprisedb.com
Only you can decide what is important to you.