Project

Profile

Help

Bug #2399

closed

Spurious warning when required type is empty-sequence()

Added by Michael Kay over 9 years ago. Updated almost 9 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
Diagnostics
Sprint/Milestone:
Start date:
2015-06-16
Due date:
% Done:

100%

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

Description

When a template or function declares its required return type as empty-sequence, and the body of the template or function is a single xsl:message instruction, Saxon produces a spurious compile time warning:

Warning: at xsl:message on line 5 of test.xsl:

  Required item type of result of template test is xs:error; supplied value has item type

  xs:anyAtomicType. The expression can succeed only if the supplied value is an empty sequence.

Present in 9.6 but not in 9.5

Please register to edit this issue

Also available in: Atom PDF