Bug 19341 - [XQ30] semantics of function tests
Summary: [XQ30] semantics of function tests
Status: RESOLVED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XQuery 3.0 (show other bugs)
Version: Last Call drafts
Hardware: PC All
: P2 normal
Target Milestone: ---
Assignee: Jonathan Robie
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2012-10-08 14:02 UTC by Michael Kay
Modified: 2012-10-30 09:17 UTC (History)
0 users

See Also:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Michael Kay 2012-10-08 14:02:23 UTC
In the LCWD, the semantics of a FunctionTest were described as follows:

A FunctionTest may take any of the following forms:

1. function(*) matches any function itemDM30.

2. A TypedFunctionTest matches an item if it is a function itemDM30, and the function item's type signature (as defined in Section 2.8.1 Function Items DM30) is a subtype of the TypedFunctionTest.

In the latest internal working draft, these two bullet items have become items 1 and 5 in a list of example function tests (which being a list of examples, is non-normative). As a result, there is no longer any definition of the semantics of a FunctionTest.

Also, an editorial point: the relevant section (2.5.5.7) is dominated by a lengthy description of function annotations, which is likely to be of little interest to most readers. The meaning of a FunctionTest in terms of the function signature should come first; it should not be hidden away in a short paragraph at the end.
Comment 1 Jonathan Robie 2012-10-30 09:17:24 UTC
My bad - I will fix this.