Project

Profile

Help

Bug #1926

Bad type checking for attribute(x, xs:untyped)

Added by Michael Kay over 2 years ago. Updated over 2 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
Internals
Sprint/Milestone:
-
Start date:
2013-10-28
Due date:
% Done:

100%

Spent time:
-
Legacy ID:
Applies to branch:
Fix Committed on Branch:
Fixed in Maintenance Release:
Found in version:
9.4
Fixed in version:
9.5.1.4

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.

History

#1 Updated by O'Neil Delpratt over 2 years ago

  • Status changed from Resolved to Closed
  • % Done changed from 0 to 100
  • Fixed in version set to 9.5.1.4

Bug fix applied in Saxon maintenance release 9.5.1.4

Also available in: Atom PDF