7211 2009-08-04 10:44:12 +0000 define "positive integer" and use it consistently, instead of "non-negative integer greater than zero" 2010-10-04 14:48:27 +0000 1 1 1 Unclassified HTML WG pre-LC1 HTML5 spec (editor: Ian Hickson) unspecified All All CLOSED WONTFIX NE P2 normal --- 1 mike ian mike public-html-admin public-html-wg-issue-tracking public-html-bugzilla oldest_to_newest 26216 0 mike 2009-08-04 10:44:12 +0000 The spec should define what a "positive integer" is, and use that term consistently instead of "non-negative integer greater than zero". Rationale: In, for example, the section on the col element, the spec states that the value of the span content attribute "must be a valid non-negative integer greater than zero". There are a number of other instances of constraints on the values of content attributes being expressed as "non-negative integer greater than zero". However, in a couple of other places in the spec, the term "positive integer" is used, but never defined. FWIW, the datatype-checking code in validator.nu has both a "non-negative integer" datatype and a "positive integer" datatype, and most any other implementation would also. So it would seem to make some sense for the spec to align more closely with the implementations. 26951 1 ian 2009-09-09 06:13:18 +0000 I couldn't find any occurrances of "positive" that weren't defined. 26952 2 ian 2009-09-09 06:17:51 +0000 There is no term "non-negative integer greater than zero". There's just the term "non-negative integer", and sometimes something has to be one of those, and simultaneously greater than zero. I don't really see much point in introducing yet another term just for that case. I don't want to use the word "positive" for the term because it's not immediately clear if that includes or excludes zero. 26953 3 mike 2009-09-09 06:38:26 +0000 I raised this just as a suggestion for improvement and I don't feel strongly that any change is absolutely necessary. So the WONTFIX resolution on this is OK by me. 33172 4 mjs 2010-03-14 14:48:44 +0000 This bug predates the HTML Working Group Decision Policy. If you are satisfied with the resolution of this bug, please change the state of this bug to CLOSED. If you have additional information and would like the editor to reconsider, please reopen this bug. If you would like to escalate the issue to the full HTML Working Group, please add the TrackerRequest keyword to this bug, and suggest title and text for the tracker issue; or you may create a tracker issue yourself, if you are able to do so. For more details, see this document: http://dev.w3.org/html5/decision-policy/decision-policy.html This bug is now being moved to VERIFIED. Please respond within two weeks. If this bug is not closed, reopened or escalated within two weeks, it may be marked as NoReply and will no longer be considered a pending comment.