[Bug 19341] New: [XQ30] semantics of function tests

https://www.w3.org/Bugs/Public/show_bug.cgi?id=19341

           Summary: [XQ30] semantics of function tests
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery 3.0
        AssignedTo: jonathan.robie@gmail.com
        ReportedBy: mike@saxonica.com
         QAContact: public-qt-comments@w3.org


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.

-- 
Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Monday, 8 October 2012 14:02:24 UTC