26860 2014-09-19 14:57:27 +0000 Alternate result for K-ValCompTypeChecking-39 and -41 2014-11-18 21:52:08 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XQuery 3 & XPath 3 Test Suite Working drafts PC All RESOLVED FIXED P2 normal --- 1 josh.spiegel oneil mike tim public-qt-comments oldest_to_newest 111804 0 josh.spiegel 2014-09-19 14:57:27 +0000 K-ValCompTypeChecking-39: 3 eq (3, error()) K-ValCompTypeChecking-41: (3, error()) eq 3 Both tests expect FOER0000. An implementation should also be allowed to raise a type error statically (XPTY0004). The quantifier of the type will be +: quantifier(integer, none) = quantifier(integer), quantifier(none) = 1, 1 = + 115053 1 tim 2014-11-18 13:56:55 +0000 I agree with your analysis. 115076 2 josh.spiegel 2014-11-18 21:52:08 +0000 Added alternate results.