15999 2012-02-16 12:47:31 +0000 [QT3TS] hof-039 2013-03-14 12:02:11 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XQuery 3 & XPath 3 Test Suite Member-only Editors Drafts PC Windows NT CLOSED FIXED P2 normal --- 1 tim jim.melton jim.melton jonathan.robie oneil public-qt-comments oldest_to_newest 64163 0 tim 2012-02-16 12:47:31 +0000 I disagree with the expected result for this test. The part of this which I disagree with is the following instance of test. declare function local:f($x as xs:long, $y as xs:NCName) as element(e)? { <e x="{$x}" y="{$y}"/> }; local:f#2 instance of function(xs:long, xs:NCName) as element(e, xs:anyType)*, The expected result (for this part of the test) is true . I believe it should be false. The function declaration has return type element(e)?. Refering to the Formal Semantics specification, this expends out to: [element(e)?]sequencetype == (element e nillable of type xs:anyType)? Expading out the return type from the function type being tested, we get: [element(e,xs:anyType)*]sequencetype == (element e of type xs:anyType)* Note the absense of nillable. Changing the test to: local:f#2 instance of function(xs:long, xs:NCName) as element(e, xs:anyType?)* would cause the actual and expected results to agree. 67849 1 oneil 2012-05-18 10:18:21 +0000 John you are the expert on this one, please can you adjudicate 67851 2 john.snelson 2012-05-18 10:33:10 +0000 SequenceType matching in the spec says: http://www.w3.org/TR/xquery-30/#id-element-test 2. element( ElementName ) matches any element node whose name is ElementName, regardless of its type annotation or nilled property. 3. element( ElementName , TypeName ) matches an element node whose name is ElementName if derives-from( AT, TypeName ) is true, where AT is the type annotation of the element node, and the nilled property of the node is false. This seems to agree with Tim's analysis. The SequenceType-subtype judgement says: http://www.w3.org/TR/xquery-30/#id-itemtype-subtype 12. Bi is either element(Bn) or element(Bn, xs:anyType), the expanded QName of An equals the expanded QName of Bn, and Ai is either element(An), or element(An, T) for any type T. This seems to contradict SequenceType matching, and is therefore wrong. I agree with Tim's test change, but also think that the XQuery 3.0 spec, section 2.5.6.2, list item 12 should be changed to: Bi is either element(Bn) or element(Bn, xs:anyType?), the expanded QName of An equals the expanded QName of Bn, and Ai is either element(An), element(An, T), or element(An,T?) for any type T. 68247 3 oneil 2012-05-29 10:03:25 +0000 We require WG discussion on this bug issue 68268 4 jonathan.robie 2012-05-29 15:41:59 +0000 The Working Group has agreed to change point 12 of: http://www.w3.org/TR/xquery-30/#id-itemtype-subtype To: 12. Bi is either element(Bn) or element(Bn, xs:anyType?), the expanded QName of An equals the expanded QName of Bn, and Ai is either element(An), element(An, T), or element(An,T?) for any type T. The test suite still needs to be updated. 69111 5 jonathan.robie 2012-06-15 22:33:34 +0000 The resolution in Comment #4 seems wrong. Instead of this: 12. Bi is either element(Bn) or element(Bn, xs:anyType?), the expanded QName of An equals the expanded QName of Bn, and Ai is either element(An), <lookhere>element(An, T), or element(An,T?)</lookhere> for any type T. Shouldn't it be this? 12. Bi is either element(Bn) or element(Bn, xs:anyType?), the expanded QName of An equals the expanded QName of Bn, and Ai is either element(An), <lookhere>element(An), or element(An,T?)</lookhere> for any type T. 74924 6 oneil 2012-10-01 13:55:36 +0000 Test case result updated to agree with the suggested change in comment #0. 75048 7 tim 2012-10-02 13:40:51 +0000 I still don't agree with the expected result. It's possible to determine that declare function local:f($x as xs:long, $y as xs:NCName) as element(e)? { <e x="{$x}" y="{$y}"/> }; will always return an element(e). Thus this is equivalent to declare function local:f($x as xs:long, $y as xs:NCName) as element(e) { <e x="{$x}" y="{$y}"/> }; and so the result can be "true true true true true true true true true false" 83725 8 1327 tim 2013-02-26 14:41:40 +0000 Created attachment 1327 Discussion document 84404 9 tim 2013-03-14 12:02:01 +0000 This was discussed in XML Query/XSL WG Joint Teleconference #531 Minutes 2013-02-26. The test suite was updated accordingly. 1327 2013-02-26 14:41:40 +0000 2013-02-26 14:41:40 +0000 Discussion document hof.htm text/html 3689 tim PGh0bWw+DQogIDxoZWFkPg0KICAgIDxzdHlsZSB0eXBlPSJ0ZXh0L2NzcyI+DQogICAgZGl2IHsg Ym9yZGVyOiAxcHggc29saWQgIzg4ODsgbWFyZ2luOiAxZW07IHBhZGRpbmc6IDAuMjVlbTsgfQ0K ICAgIDwvc3R5bGU+DQogIDwvaGVhZD4NCiAgPGJvZHk+DQogICAgPGgxPmhvZi0wMzk8L2gxPg0K PHByZT4NCmRlY2xhcmUgZnVuY3Rpb24gbG9jYWw6ZigkeCBhcyB4czpsb25nLCAkeSBhcyB4czpO Q05hbWUpIGFzIGVsZW1lbnQoZSk/IHsgPGUgeD0ieyR4fSIgeT0ieyR5fSIvPiB9OyANCjwvcHJl Pg0KDQo8cD5UaGUgZGVjbGFyZWQgdHlwZSBvZiB0aGUgZnVuY3Rpb24gaXMNCjxwPjx0dD5mdW5j dGlvbih4czpsb25nLCB4czpOQ05hbWUpIGFzIGVsZW1lbnQoZSk/PC90dD48L3A+DQo8cD5TdGF0 aWMgdHlwZSBpbmZlcmVuY2UgY2FuIGRldGVybWluZSB0aGF0IGEgbW9yZSBzcGVjaWZpYyB0eXBl IG9mIHRoZSBmdW5jdGlvbiBpczwvcD4NCjxwPjx0dD5mdW5jdGlvbih4czpsb25nLCB4czpOQ05h bWUpIGFzIGVsZW1lbnQoZSwgeHM6YW55VHlwZSk8L3R0PjwvcD4NCjxwPlRoZSBmdW5jdGlvbiBu ZXZlciByZXR1cm5zIHRoZSBlbXB0eSBzZXF1ZW5jZSBhbmQgbmV2ZXIgcmV0dXJucyBhIG5pbCBl bGVtZW50LjwvcD4NCg0KPHA+W0RlZmluaXRpb248c3VwPkRNMzA8L3N1cD46IEEgPGI+ZnVuY3Rp b24gc2lnbmF0dXJlPC9iPiByZXByZXNlbnRzIHRoZSB0eXBlIG9mIGEgZnVuY3Rpb25dPC9wPg0K DQo8ZGl2PiANCjxwcmU+DQpsb2NhbDpmIzIgaW5zdGFuY2Ugb2YgZnVuY3Rpb24oeHM6bG9uZywg eHM6TkNOYW1lKSBhcyBlbGVtZW50KCksIA0KPC9wcmU+IA0KPHA+RXhwZWN0cyA8dHQ+ZmFsc2U8 L3R0PiBiZWNhdXNlIDx0dD5mPC90dD4gbWlnaHQgcmV0dXJuIDx0dD4oKTwvdHQ+LjwvcD4NCjwv ZGl2Pg0KDQoNCjxkaXY+DQo8cHJlPg0KbG9jYWw6ZiMyIGluc3RhbmNlIG9mIGZ1bmN0aW9uKHhz OmxvbmcsIHhzOk5DTmFtZSkgYXMgZWxlbWVudCgpKywgDQo8L3ByZT4NCjxwPkV4cGVjdHMgPHR0 PmZhbHNlPC90dD4gYmVjYXVzZSA8dHQ+ZjwvdHQ+IG1pZ2h0IHJldHVybiA8dHQ+KCk8L3R0Pi48 L3A+DQo8L2Rpdj4NCg0KDQo8ZGl2Pg0KPHByZT4NCmxvY2FsOmYjMiBpbnN0YW5jZSBvZiBmdW5j dGlvbih4czpsb25nLCB4czpOQ05hbWUpIGFzIGVsZW1lbnQoKT8sIA0KPC9wcmU+DQo8cD5FeHBl Y3RzIDx0dD50cnVlPC90dD4uPC9wPg0KPC9kaXY+DQoNCg0KPGRpdj4NCjxwcmU+DQpsb2NhbDpm IzIgaW5zdGFuY2Ugb2YgZnVuY3Rpb24oeHM6bG9uZywgeHM6TkNOYW1lKSBhcyBlbGVtZW50KCkq LCANCjwvcHJlPg0KPHA+RXhwZWN0cyA8dHQ+dHJ1ZTwvdHQ+LjwvcD4NCjwvZGl2Pg0KDQoNCjxk aXY+DQo8cHJlPg0KbG9jYWw6ZiMyIGluc3RhbmNlIG9mIGZ1bmN0aW9uKHhzOmxvbmcsIHhzOk5D TmFtZSkgYXMgZWxlbWVudChlKSosIA0KPC9wcmU+DQo8cD5FeHBlY3RzIDx0dD50cnVlPC90dD4u PC9wPg0KPC9kaXY+DQoNCg0KPGRpdj4NCjxwcmU+DQpsb2NhbDpmIzIgaW5zdGFuY2Ugb2YgZnVu Y3Rpb24oeHM6bG9uZywgeHM6TkNOYW1lKSBhcyBlbGVtZW50KGUsIHhzOmFueVR5cGU/KSosIA0K PC9wcmU+DQo8cD5FeHBlY3RzIDx0dD50cnVlPC90dD4uICA8dHQ+ZWxlbWVudChlLCB4czphbnlU eXBlPykqPC90dD4gaXMgaWRlbnRpY2FsIHRvIDx0dD5lbGVtZW50KGUpKjwvdHQ+LjwvcD4NCjwv ZGl2Pg0KDQoNCjxkaXY+DQo8cHJlPg0KbG9jYWw6ZiMyIGluc3RhbmNlIG9mIGZ1bmN0aW9uKHhz OmxvbmcsIHhzOk5DTmFtZSkgYXMgZWxlbWVudCgqLCB4czphbnlUeXBlPyk/LCANCjwvcHJlPg0K PHA+RXhwZWN0cyA8dHQ+dHJ1ZTwvdHQ+LiAgPHR0PmVsZW1lbnQoZSwgeHM6YW55VHlwZT8pPzwv dHQ+IGlzIGlkZW50aWNhbCB0byA8dHQ+ZWxlbWVudChlKT88L3R0Pi48L3A+DQo8L2Rpdj4NCg0K DQo8ZGl2Pg0KPHByZT4NCmxvY2FsOmYjMiBpbnN0YW5jZSBvZiBmdW5jdGlvbih4czpsb25nLCB4 czpOQ05hbWUpIGFzIGVsZW1lbnQoZSwgeHM6YW55VHlwZSkqLCANCjwvcHJlPg0KPHA+RXhwZWN0 cyA8dHQ+ZmFsc2U8L3R0PiwgYmVjYXVzZSA8dHQ+ZjwvdHQ+IG1pZ2h0IHJldHVybiBhIDx0dD5u aWw8L3R0PiBlbGVtZW50LjwvcD4NCjwvZGl2Pg0KDQoNCjxkaXY+DQo8cHJlPg0KbG9jYWw6ZiMy IGluc3RhbmNlIG9mIGZ1bmN0aW9uKHhzOmxvbmcsIHhzOk5DTmFtZSkgYXMgZWxlbWVudCgqLCB4 czphbnlUeXBlKT8sIA0KPC9wcmU+DQo8cD5FeHBlY3RzIDx0dD5mYWxzZTwvdHQ+LCBiZWNhdXNl IDx0dD5mPC90dD4gbWlnaHQgcmV0dXJuIGEgPHR0Pm5pbDwvdHQ+IGVsZW1lbnQuPC9wPg0KPC9k aXY+DQoNCg0KPGRpdj4NCjxwcmU+DQpsb2NhbDpmIzIgaW5zdGFuY2Ugb2YgZnVuY3Rpb24oeHM6 bG9uZywgeHM6TkNOYW1lKSBhcyBlbGVtZW50KCosIHhzOnVudHlwZWQpPw0KPC9wcmU+DQo8cD5F eHBlY3RzIDx0dD5mYWxzZTwvdHQ+LCBiZWNhdXNlIDx0dD5mPC90dD4gbWlnaHQgcmV0dXJuIGEg PHR0Pm5pbDwvdHQ+IGVsZW1lbnQgb3IgYW4gZWxlbWVudCBub3QgYW5ub3RhdGVkIHdpdGggPHR0 PnhzOnVudHlwZWQ8L3R0Pi48L3A+DQo8L2Rpdj4NCg0KICAgIDxoMT5lbGVtZW50KCk8L2gxPiAN CiAgICA8cHJlPg0KW2VsZW1lbnQoZSldc2VxdWVuY2V0eXBlDQo9PQ0KZWxlbWVudCBlIG5pbGxh YmxlIG9mIHR5cGUgeHM6YW55VHlwZQ0KPC9wcmU+DQoNCiAgICA8aDE+ZWxlbWVudCgpPzwvaDE+ IA0KICAgIDxwcmU+DQpbZWxlbWVudChlKT9dc2VxdWVuY2V0eXBlDQo9PQ0KKGVsZW1lbnQgZSBu aWxsYWJsZSBvZiB0eXBlIHhzOmFueVR5cGUpPw0KPC9wcmU+DQogICAgDQogICAgPGgxPmVsZW1l bnQoKSo8L2gxPiANCiAgICA8cHJlPg0KW2VsZW1lbnQoZSkqXXNlcXVlbmNldHlwZQ0KPT0NCihl bGVtZW50IGUgbmlsbGFibGUgb2YgdHlwZSB4czphbnlUeXBlKSoNCjwvcHJlPg0KDQogICAgPGgx PmVsZW1lbnQoZSwgeHM6YW55VHlwZT8pKjwvaDE+IA0KICAgIDxwcmU+DQpbZWxlbWVudChlLHhz OmFueVR5cGU/KV1zZXF1ZW5jZXR5cGUNCj09DQooZWxlbWVudCBlIG5pbGxhYmxlIG9mIHR5cGUg eHM6YW55VHlwZSkqDQo8L3ByZT4NCg0KICAgIDxoMT5lbGVtZW50KGUsIHhzOmFueVR5cGU/KT88 L2gxPiANCiAgICA8cHJlPg0KW2VsZW1lbnQoZSx4czphbnlUeXBlPyldc2VxdWVuY2V0eXBlDQo9 PQ0KKGVsZW1lbnQgZSBuaWxsYWJsZSBvZiB0eXBlIHhzOmFueVR5cGUpPw0KPC9wcmU+DQoNCiAg ICA8aDE+ZWxlbWVudChlLCB4czphbnlUeXBlKSo8L2gxPiANCiAgICA8cHJlPg0KW2VsZW1lbnQo ZSx4czphbnlUeXBlPyldc2VxdWVuY2V0eXBlDQo9PQ0KKGVsZW1lbnQgZSBvZiB0eXBlIHhzOmFu eVR5cGUpKg0KPC9wcmU+DQoNCiAgICA8aDE+ZWxlbWVudCgqLCB4czphbnlUeXBlKT88L2gxPiAN CiAgICA8cHJlPg0KW2VsZW1lbnQoKix4czphbnlUeXBlPyldc2VxdWVuY2V0eXBlDQo9PQ0KKGVs ZW1lbnQgKiBvZiB0eXBlIHhzOmFueVR5cGUpPw0KPC9wcmU+DQoNCiAgICA8aDE+ZWxlbWVudCgq LCB4czp1bnR5cGVkKT88L2gxPiANCiAgICA8cHJlPg0KW2VsZW1lbnQoKix4czp1bnR5cGVkKV1z ZXF1ZW5jZXR5cGUNCj09DQooZWxlbWVudCAqIG9mIHR5cGUgeHM6dW50eXBlZCk/DQo8L3ByZT4N CiAgICAgIDxyZXN1bHQ+DQoNCiAgPC9ib2R5Pg0KPC9odG1sPg0KDQo=