This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
7.2.3 The fn:abs, fn:ceiling, fn:floor, fn:round, and fn:round-half-to-even functions STA / rule 1 F(Expr) You need to establish that F denotes one of these functions.
(Also...) "The typing rules for [those] functions promote their input type to the (least) base primitive numeric type from which the input type is derived." Maybe point out that the inference rule does not accomplish the "(least)" part.
Fixed as suggested. - Jerome
I meant the *inference rule* needs to establish that F denotes one of these functions. Moreover, 'F' is invalid because it isn't the name of a nonterminal. So: -- change 'F' to 'expanded-QName'; -- add a premise: expanded-QName in { (FN-URI,"abs"), (FN-URI,"ceiling"), (FN-URI,"floor"), (FN-URI,"round"), (FN-URI,"round-half-to-even") }; -- modify (pare down) the preceding sentence accordingly. (Don't step outside the formalism when you can easily express something within the formalism.) And change "is cannot expressed" to "cannot be expressed". Or rather, "is not expressed", since I'm not convinced that it *can't* be expressed.
Closing bug because commenter has not objected to the resolution posted on 2007-01-16
The second sentence still says "is cannot expressed". Change to "is not expressed". (And the last sentence can be pared down or just deleted.)
On the line which should read expanded-QName in { (FN-URI,"abs"), (FN-URI,"ceiling"), (FN-URI,"floor"), (FN-URI,"round"), (FN-URI,"round-half-to-even") }; '(FN-URI,"abs")' is currently missing.
> > '(FN-URI,"abs")' is currently missing. So it is. Thanks for pointing it out. It'll be fixed with an erratum eventually.
The matters in Comment #6 and Comment #7 have been entered as FS erratum E014. The suggestions have been incorporated into a fix which I have committed to the source files for the next edition of the FS document. Consequently, I'm marking this issue resolved-FIXED, and CLOSED.