[Bug 1756] [FS] editorial: 7.2.3 The fn:abs, fn:ceiling, fn:floor, fn:round, and fn:round-half-to-even functions

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1756


jmdyck@ibiblio.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |




------- Comment #3 from jmdyck@ibiblio.org  2006-09-08 06:20 -------
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.

Received on Friday, 8 September 2006 06:20:57 UTC