3831 2006-10-13 15:37:13 +0000 Static typing of full axis feature tests 2007-09-14 11:52:25 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite 1.0.1 PC Windows XP CLOSED FIXED P2 normal --- 1 nick frans.englich public-qt-comments oldest_to_newest 12439 0 nick 2006-10-13 15:37:13 +0000 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 16554 1 frans.englich 2007-09-14 09:34:51 +0000 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! 16576 2 nick 2007-09-14 11:52:25 +0000 Thanks. These now all work with static typing.