3665 2006-09-07 08:15:47 +0000 Type checking fn:data(()) 2006-10-19 19:47:48 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Candidate Recommendation PC Windows XP CLOSED WONTFIX P2 normal --- 1 tim simeon public-qt-comments oldest_to_newest 11483 0 tim 2006-09-07 08:15:47 +0000 Consider the type-checking of fn:data(()) (i.e. fn:data on empty sequence) statEnv |- data on prime(Type) : Type1 -------------------------------------------- statEnv |- (FN-URI,"data")(Type) : Type1 · quantifier(Type) Type = empty Type 1 = data on prime(empty) = data on (none) = none Surely fn:data(()) should typecheck as empty? 11491 1 tim 2006-09-07 15:15:23 +0000 I suspect that: prime(empty) = empty and not prime(empty) = none as specified in http://www.w3.org/TR/xquery-semantics/#jd_prime 11858 2 simeon 2006-09-19 14:58:41 +0000 I believe despite being odd, this definition is actually correct. The prime function computes the item types for a given type. there is none for the empty type. when computing the factorization for empty the rules will be applied as follows: prime(empty) = none quantifier(empty) = ? prime(empty) . quantifier(empty) = none? = none | empty = empty which should be the expected result. - Jerome 11863 3 tim 2006-09-19 15:42:07 +0000 Thanks. That clears that up. 12033 4 simeon 2006-09-26 13:59:48 +0000 Tim, Thank you for your comment. The XSLT and XML Query working groups have decided to close this comment with no further action. Best, - Jerome On behalf of the XSLT and XML Query WGs