9925 2010-06-14 16:53:50 +0000 wrong expected result in w3c_testsuite/XQuery/SchemaImport/SchemaImportProlog/modules-schema-context.xq 2010-07-06 15:42:37 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite unspecified PC Linux RESOLVED INVALID P2 normal --- 1 markos_za holstege mike public-qt-comments oldest_to_newest 36172 0 markos_za 2010-06-14 16:53:50 +0000 This report is about query w3c_testsuite/XQuery/SchemaImport/SchemaImportProlog/modules-schema-context.xq in XQTS_current. In XQTS, the expected result is <result>true</result>. But I think the query should return an error (XPTY0004), or at least accept this error as an alternative valid result. This is because the "simple" schema is not imported by the main query, so the type of the item returned by the use-schema() function is not in the in-scope type definitions of the main query. This type is needed to execute the instanceof expression. 36174 1 mike 2010-06-14 18:48:03 +0000 (personal response:) The specification only requires the importing module to import the schema types used in the function signature, it is not required to import the types represented by the dynamic types of the actual return values. So I don't think this query is violating any rule in the specification, and therefore by definition it is a valid query. It would be very unfortunate if there were such a rule, because the function implementation is always at liberty to return values that are instances of a subtype of the declared result type, and the caller cannot know at compile time what these possible subtypes might be. "This type is needed to execute the instance of expression." True. But it's not needed at compile-time, only at run-time. 36633 2 holstege 2010-07-06 15:42:37 +0000 The WG considered this bug at the 2010-07-06 telcon and agreed to endorse the view expressed in comment #1. If you are satisfied with this resolution, please mark the bug as CLOSED.