Project

Profile

Help

Bug #4017

closed

XQuery static type analysis does not take account of global context item declaration

Added by Michael Kay over 5 years ago. Updated about 5 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
Performance
Sprint/Milestone:
-
Start date:
2018-11-10
Due date:
% Done:

100%

Estimated time:
Legacy ID:
Applies to branch:
9.9
Fix Committed on Branch:
9.9
Fixed in Maintenance Release:
Platforms:

Description

When a query includes a declaration such as

declare context item as xs:integer external;

then the static type analysis of the query should be able to use this information.

Saxon is not doing so (largely because of the complications caused by the fact that different context item types can be declared in different modules).

There are no adverse symptoms, other than weaker diagnostics and missed opportunities for optimization.

Actions #1

Updated by Michael Kay over 5 years ago

  • Status changed from New to Resolved
  • Fix Committed on Branch 9.9 added

Fixed in XQueryExpression (9.9)

Actions #2

Updated by O'Neil Delpratt about 5 years ago

  • % Done changed from 0 to 100
  • Fixed in Maintenance Release 9.9.1.1 added

Bug fix applied to the Saxon 9.9.1.1 maintenance release.

Actions #3

Updated by O'Neil Delpratt about 5 years ago

  • Status changed from Resolved to Closed

Please register to edit this issue

Also available in: Atom PDF