Michael Kay

Annotations: duplicate names

2

The function `fn:function-annotations` returns a map from QNames to values, which rather assumes that a function cannot have two annotations with the same name. But there is nothing in either...

Further improvements to BuiltInKeywords test needed

3

1. The test generated for fn:seconds() is incorrect (can't handle required type xs:decimal?) 2. An incorrect argument is supplied for fn:pin()

1368 built in keywords improvements

1

Rewrite of stylesheet for generating keyword tests

§2.7.4 says: If R has an as attribute, the SequenceType S declared by R must be a subtype of T, according to the relationship subtype(S, T) defined in []. There...

Fix #1382

1374 - allow static error for duplicate keys

2

Fix #1374

Fix #1316 1. Quantified expressions now allow a type declaration in both XQuery and XPath 2. A type declaration now induces coercion of the supplied value to the required type

XPath: type declarations in quantified expressions

1

We have added type declarations to XPath "for" and "let" expressions, but not to "some" and "every", where they remain XQuery-only. This seems a needless inconsistency.

Duplicate keys in map constructor

3

We say (concerning map constructors) If two or more entries have the [same key value] then a dynamic error is raised [[err:XQDY0137]. I think we should say: if every MapKeyExpr...

XSLT: names of functions in pattern

3

The spec says > In a [FunctionCallP], the EQName used for the function name must have local part doc, id, element-with-id, key, or root, and must use the [standard function...