This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 1756 - [FS] editorial: 7.2.3 The fn:abs, fn:ceiling, fn:floor, fn:round, and fn:round-half-to-even functions
Summary: [FS] editorial: 7.2.3 The fn:abs, fn:ceiling, fn:floor, fn:round, and fn:roun...
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Last Call drafts
Hardware: All All
: P2 minor
Target Milestone: ---
Assignee: Michael Dyck
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-07-19 20:57 UTC by Michael Dyck
Modified: 2007-10-02 20:29 UTC (History)
0 users

See Also:


Attachments

Description Michael Dyck 2005-07-19 20:57:08 UTC
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.
Comment 1 Michael Dyck 2005-07-21 22:50:34 UTC
(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.
Comment 2 Jerome Simeon 2006-03-29 22:08:34 UTC
Fixed as suggested.
- Jerome
Comment 3 Michael Dyck 2006-09-08 06:20:16 UTC
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.
Comment 4 Jerome Simeon 2007-01-16 18:00:48 UTC
Fixed as suggested.
- Jerome
Comment 5 Jim Melton 2007-02-25 23:18:40 UTC
Closing bug because commenter has not objected to the resolution posted on 2007-01-16
Comment 6 Michael Dyck 2007-05-06 08:26:33 UTC
The second sentence still says "is cannot expressed". Change to "is not expressed".

(And the last sentence can be pared down or just deleted.)
Comment 7 Ben Wagner 2007-08-09 16:39:26 UTC
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.
Comment 8 Michael Dyck 2007-08-09 21:24:58 UTC
> 
> '(FN-URI,"abs")' is currently missing.

So it is. Thanks for pointing it out. It'll be fixed with an erratum eventually.

Comment 9 Michael Dyck 2007-10-02 20:29:21 UTC
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.