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

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

Product:	XPath / XQuery / XSLT
Component:	Formal Semantics 1.0
Version:	Last Call drafts
Platform:	All All

Importance:	P2 minor
Target Milestone:	---
Assigned To:	Michael Dyck
QA Contact:	Mailing list for public feedback on specs from XSL and XML Query WGs

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:
	Show dependency tree / graph

Reported:	2005-07-19 20:57 UTC by Michael Dyck
Modified:	2007-10-02 20:29 UTC (History)
CC List:	0 users (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

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.