On 8/30/21 10:19 AM, Robert Haas wrote: > On Mon, Aug 30, 2021 at 10:16 AM Tom Lane <t...@sss.pgh.pa.us> wrote: >> Robert Haas <robertmh...@gmail.com> writes: >>> The new style seems good, but I don't really agree that "positive" and >>> "non-negative" are ambiguous. "positive" means >0 and "non-negative" >>> means >= 0, because 0 is neither positive nor negative. >> Well, the point is precisely that not everyone makes that distinction. >> I agree that everyone will read "non-negative" as ">= 0"; but there's >> a fair percentage of the population that uses "positive" the same way. > The mathematician in me recoils. >
Yep, me too. IIRC Ada comes with a predefined subtype named "Positive" which has the range 1..Integer'Max. It also has "Natural" which includes zero. cheers andrew -- Andrew Dunstan EDB: https://www.enterprisedb.com
