3867 2006-10-26 12:30:16 +0000 Static type checking of Constr-docnode-parent-1 2007-01-22 12:42:21 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite 1.0.1 PC Windows XP RESOLVED FIXED P2 normal --- 1 nick andrew.eisenberg public-qt-comments oldest_to_newest 12614 0 nick 2006-10-26 12:30:16 +0000 The expression count((document {()})/..) is testing document has an empty parent. The formal semantics state statEnv |- axis parent:: of DocumentType : empty Therefore I think we can infer this during static analysis and it is valid to throw [err:XPST0005]. 12615 1 nick 2006-10-26 16:27:44 +0000 Similarly in fn-name-16 for $h in ($input-context1/works/employee[2]) return fn:count(fn:name($h/self::div)) $h has a static type of "element employee" $h/self::div is expecting "element div" so the expression types as empty (8.2.3.1.1 of the formal semantics is the relevant section) Therefore I think [err:XPST0005] is valid (and is effectively what the test is trying to test - but in a dynamic fashion) 13164 2 carmelo 2006-12-13 16:06:41 +0000 Nick: Correct. Changed the catalog entry for "fn-name-16" to reflect your suggestion. "Constr-docnode-parent-1" seems to have the same illness. Changed the entry as well. Please close the bug if in agreement. Thanks, Carmelo 13762 3 nick 2007-01-22 12:42:21 +0000 fn-name-16 seems to be fixed in the latest catalog file, but Constr-docnode-parent-1 doesn't appear to be changed. Nick