Actions
Bug #3245
closedIncorrect type inference for ListCastableFunction
Start date:
2017-06-06
Due date:
% Done:
100%
Estimated time:
Legacy ID:
Applies to branch:
9.7, trunk
Fix Committed on Branch:
9.7, trunk
Fixed in Maintenance Release:
Platforms:
Description
An expression of the form (X castable as xs:ENTITIES) where xs:ENTITIES is a list type is compiled into a call on ListCastableFunction. The return type of this function is incorrect: in this case it is xs:ENTITY* rather than xs:boolean.
This causes a failure on the qt3 -> xslt3 conversion of test cbcl-castable-ENTITIES-001.xsl:
Warning at char 21 in xsl:when/@test on line 17 column 66 of cbcl-castable-ENTITIES-001.xsl:
SXWN9000: In {$result = true()}: cannot compare xs:ENTITY to xs:boolean. The comparison
can succeed only if the first operand is empty, and in that case will always be false
Static error on line 1 at column 9 in xsl:variable/@select on line 15 column 99 of cbcl-castable-ENTITIES-001.xsl:
XPTY0004: Required item type of value of variable $result is xs:ENTITY; supplied value has
item type xs:boolean
Updated by Michael Kay almost 7 years ago
- Status changed from New to Resolved
- Fix Committed on Branch 9.7, trunk added
Updated by O'Neil Delpratt over 6 years ago
- Status changed from Resolved to Closed
- % Done changed from 0 to 100
- Fixed in Maintenance Release 9.7.0.19 added
Bug fix applied in the 9.7.0.19 maintenance release.
Please register to edit this issue
Actions