17226 2012-05-28 16:01:43 +0000 [QT3TS] CastAs-UnionType-16 2015-07-09 15:40:29 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XQuery 3 & XPath 3 Test Suite Working drafts PC Windows NT RESOLVED INVALID P2 normal --- 1 tim mike josh.spiegel mike public-qt-comments oldest_to_newest 68227 0 tim 2012-05-28 16:01:43 +0000 This test uses the constructor function s:lowercaseName, but s:lowercaseName is not a generalized atomic type because it has a pattern facet. Therefore the no such constructor function is available. 68230 1 tim 2012-05-28 16:15:13 +0000 s:lowercaseName is also used in CastAs-UnionType-22 CastAs-UnionType-23 CastAs-UnionType-24 68231 2 mike 2012-05-28 16:54:38 +0000 We now allow casting from string and untypedAtomic to any simple type other than the abstract types xs:anySimpleType and xs:NOTATION, with semantics equivalent to validation. 68249 3 tim 2012-05-29 10:30:34 +0000 Thanks. 121906 4 josh.spiegel 2015-07-09 11:47:38 +0000 Can you clarify why a constructor function is expected for s:lowercaseName? http://www.w3.org/TR/xquery-30/#id-constructor-functions "For every generalized atomic type in the in-scope schema types (except xs:NOTATION and xs:anyAtomicType, which are not instantiable), a constructor function is implicitly defined." [Definition: A generalized atomic type is a type which is either (a) an atomic type or (b) a pure union type ]. [Definition: A pure union type is an XML Schema union type that satisfies the following constraints: (1) {variety} is union, (2) the {facets} property is empty, ..... s:lowercaseName has facets so it isn't a pure union type or a generalized atomic type. The test description is "Constructor function for union type with facets". Am I missing something? 121907 5 josh.spiegel 2015-07-09 12:08:16 +0000 I may have found it in 4.11 Schema Import: "For each named user-defined simple type in the schema, schema import also adds a corresponding constructor function. " 121914 6 mike 2015-07-09 13:25:05 +0000 Also F+O 18.5: For every user-defined simple type in the static context (See Section 2.1.1 Static Context XP31), there is a constructor function whose name is the same as the name of the type and whose effect is to create a value of that type from the supplied argument. But XPath 3.14.4 has it wrong: "For every generalized atomic type in the in-scope schema types (except xs:NOTATION and xs:anyAtomicType, which are not instantiable), a constructor function is implicitly defined." 121918 7 josh.spiegel 2015-07-09 15:40:29 +0000 Thanks. I just noticed that bug 28915 already addresses this. I am changing this test suite bug back to INVALID since the issue is in the specification.