This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
The tests listed below all contain axes which have type element()* For example see FS 8.2.2.1.9 Inference rules for the ancestor axis statEnv |- axis ancestor:: of NodeType : (element | document)* so tests like ancestor-3 contain expressions like: ($input-context1/works/employee[1]/ancestor::works) is ($input-context1/works) where the LHS type checks to element()*, but the signature of is,<<,>> are: op:is-same-node($parameter1 as node(), $parameter2 as node()) as xs:boolean op:node-before($parameter1 as node(), $parameter2 as node()) as xs:boolean op:node-after($parameter1 as node(), $parameter2 as node()) as xs:boolean hence static-type checking fails. Not too sure what the best resolution is, maybe exactly-one on the LHS? ancestor-3 ancestor-4 ancestor-5 ancestor-6 ancestor-7 ancestor-8 ancestor-9 ancestor-10 ancestorself-3 ancestorself-4 ancestorself-5 ancestorself-6 ancestorself-7 ancestorself-8 ancestorself-9 ancestorself-10 following-3 following-4 following-6 following-7 following-8 following-9 following-10 followingsibling-3 followingsibling-4 followingsibling-5 followingsibling-6 followingsibling-7 followingsibling-8 followingsibling-9 followingsibling-10 preceding-3 preceding-4 preceding-5 preceding-6 preceding-7 preceding-8 preceding-9 preceding-10 preceding-sibling-3 preceding-sibling-4 preceding-sibling-5 preceding-sibling-6 preceding-sibling-7 preceding-sibling-9 preceding-sibling-10
A fix has been attempted in CVS, XQTS_current.zip is updated. If the resolution is satisfactory, feel free to change status to CLOSED. Otherwise, reopen this report. If no feedback is returned within two weeks, status will be changed to CLOSED. Thanks for reporting!
Thanks. These now all work with static typing.