26844 2014-09-18 10:57:33 +0000 [XP31] Wrong error code 2015-07-07 22:55:19 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XPath 3.1 Working drafts SGI Windows NT RESOLVED FIXED https://www.w3.org/XML/Group/qtspecs/specifications/xquery-31/html/xpath-31.html#id-atomization P2 normal --- 1 tim jonathan.robie andrew_coleman josh.spiegel mike public-qt-comments oldest_to_newest 111738 0 tim 2014-09-18 10:57:33 +0000 Under atomization, XPath 3.1 says: "If the item is a functionDM30 [err:FOTY0012] is raised." but F&O says: "A type error is raised [err:FOTY0013] if an item in the sequence $arg is a function item." 112030 1 tim 2014-09-23 17:17:29 +0000 f the item is a functionDM31 or map a type error [err:FOTY0012] is raised. If the item is an array $a, atomization is defined as $a?* ! fn:data(.), which is equivalent to atomizing the members of the array. 112031 2 jonathan.robie 2014-09-23 17:17:59 +0000 I will change the language spec to use the F&O error code. 112032 3 tim 2014-09-23 17:18:21 +0000 I propose swapping the order to: * If the item is an array $a, atomization is defined as $a?* ! fn:data(.), which is equivalent to atomizing the members of the array. * f the item is a functionDM31 or map a type error [err:FOTY0012] is raised. 114151 4 jonathan.robie 2014-10-28 18:05:04 +0000 (In reply to Tim Mills from comment #3) > I propose swapping the order to: > > * If the item is an array $a, atomization is defined as $a?* ! fn:data(.), > which is equivalent to atomizing the members of the array. > > * If the item is a functionDM31 or map a type error [err:FOTY0012] is raised. We assume the issue is that an array is a function. But these bullet points do not imply sequence, so a better fix is: * If the item is a functionDM31 (other than an array) or map a type error [err:FOTY0012] is raised. 114152 5 jonathan.robie 2014-10-28 18:06:55 +0000 The Working Group agreed to resolve this as proposed in comment #4. 121771 6 mike 2015-07-06 08:34:07 +0000 The change has not been applied in the current draft of the spec. The text still reads: [3] If the item is a function1 or map... [4] If the item is an array... where the conditional in bullet 4 overrides that in bullet 3. 121864 7 josh.spiegel 2015-07-07 22:55:19 +0000 Applied comment 4.