Bugzilla – Bug 19341
[XQ30] semantics of function tests
Last modified: 2012-10-30 09:17:24 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 (18.104.22.168) 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.
My bad - I will fix this.