Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 474080 - Zero is not a positive integer
Summary: Zero is not a positive integer
Status: RESOLVED DUPLICATE of bug 635340
Alias: None
Product: Gentoo Hosted Projects
Classification: Unclassified
Component: PMS/EAPI (show other bugs)
Hardware: All All
: Normal trivial (vote)
Assignee: PMS/EAPI
URL: http://dev.gentoo.org/~ulm/pms/5/pms....
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2013-06-21 20:35 UTC by Gordon Pettey
Modified: 2018-08-08 14:30 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Gordon Pettey 2013-06-21 20:35:59 UTC
3.2 Version Specifications
"A version ... is ...  [0-9]+(\.[0-9]+)* (a positive integer followed by zero or more dot-prefixed positive integers)."

Zero is not positive (or negative). This should say 'non-negative' instead of 'postive'.
Comment 1 Ulrich Müller gentoo-dev 2013-06-22 01:45:12 UTC
Maybe we should rewrite it as "a digit string followed by zero or more dot-prefixed digit strings" because version components are not always interpreted as integers (e.g., 1.02 is less than 1.1).
Comment 2 Gordon Pettey 2013-06-22 04:56:44 UTC
(In reply to Ulrich Müller from comment #1)
> version components are not always
> interpreted as integers (e.g., 1.02 is less than 1.1).

Perhaps "e.g. 1.10 is greater than 1.1" would make more sense :)
Comment 3 Ulrich Müller gentoo-dev 2018-08-08 14:30:50 UTC
This has been fixed some time ago with bug 635340.

Closing (with the dupe being the wrong way around, but the other bug has more information).

*** This bug has been marked as a duplicate of bug 635340 ***