19479 2012-10-11 16:31:13 +0000 [QT3TS] CastAsNamespaceSensitiveType-2, 4 2012-11-08 14:43:50 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XQuery 3 & XPath 3 Test Suite Working drafts PC Windows NT CLOSED FIXED P2 normal --- 1 tim oneil public-qt-comments oldest_to_newest 76008 0 tim 2012-10-11 16:31:13 +0000 In CastAsNamespaceSensitiveType-2 and 5, there are mismatched ')' at the end of each test. 78017 1 oneil 2012-11-07 23:18:31 +0000 Bug in test case CastAsNamespaceSensitiveType-2 has been fixed by Michael Dyck. However, I Cannot see a problem with CastAsNamespaceSensitiveType-4 and CastAsNamespaceSensitiveType-5 78037 2 tim 2012-11-08 10:54:20 +0000 CastAsNamespaceSensitiveType-2 is fixed. Thanks. CastAsNamespaceSensitiveType-4 has a type check error: declare function local:clarkname($q as xs:NOTATION) as xs:string { $q }; local:clarkname(xs:untypedAtomic("xs:integer")) $q is declared as an xs:NOTATION. The return type of the function is xs:string. Function conversion rules cannot convert an xs:NOTATION into an xs:string. Thus this test should expect XPTY0004, since this condition can be detected statically. CastAsNamespaceSensitiveType-5 has a similar problem. 78038 3 tim 2012-11-08 10:55:23 +0000 I suspect that changing the function definition to: declare function local:clarkname($q as xs:NOTATION) as xs:string { $q cast as xs:NOTATION }; will solve the problem. 78041 4 oneil 2012-11-08 12:57:52 +0000 (In reply to comment #2) > Thus this test should expect XPTY0004, since this condition can be detected > statically. According to the spec in Section 3.16: In addition, the target type cannot be xs:NOTATION xs:anySimpleType, or xs:anyAtomicType [err:XPST0080] Therefore, should the error code be XPST0090 instead of XPTY0004 78042 5 oneil 2012-11-08 13:03:06 +0000 I suspect the intended change to the function definition should be: declare function local:clarkname($q as xs:NOTATION) as xs:string { $q cast as xs:string }; I have made the change to CastAsNamespaceSensitiveType-4 and CastAsNamespaceSensitiveType-5 78047 6 oneil 2012-11-08 14:26:42 +0000 *** Bug 19480 has been marked as a duplicate of this bug. *** 78050 7 tim 2012-11-08 14:43:50 +0000 Confirmed fixed. Thanks.