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 <dgrowle...@gmail.com> wrote: > > > > On Fri, 12 Apr 2024, 1:05 am Daniel Gustafsson, <dan...@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 <br...@momjian.us> https://momjian.us EDB https://enterprisedb.com Only you can decide what is important to you.
