Actions
Bug #1926
closedBad type checking for attribute(x, xs:untyped)
Start date:
2013-10-28
Due date:
% Done:
100%
Estimated time:
Legacy ID:
Applies to branch:
Fix Committed on Branch:
Fixed in Maintenance Release:
Platforms:
Description
A spurious type-checking failure is reported for this query:
declare function local:a() as attribute(a) {attribute a {'A'}}; element e {local:a()}
The error message is
XPTY0004: Required item type of result of function local:a() is
attribute('':a); supplied value has item type attribute(a,
{http://www.w3.org/2001/XMLSchema}untypedAtomic)
The bug was introduced into both the 9.4 and 9.5 branches as a side-effect of bug fixes to handle the xs:error type. It was found during system testing of the 9.5.1.1 release and was fixed in that release without a bug report being raised, but it was not fixed on the 9.4 branch. It is present in 9.4.0.8 and 9.4.0.9. A patch is now being committed to ensure that the bug is cleared in any future maintenance release on the 9.4 branch.
Please register to edit this issue
Actions