Actions
Bug #4017
closed
XQuery static type analysis does not take account of global context item declaration
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.
Please register to edit this issue
Actions
.