Change id: type-derivation-with-unions
| Implementations | |||||||||||||||
| Tests | BaseX 7.7 XQ30 |
EMC/xDB xDB_main_r2411365 XQ30 |
Saxon-EE 9.5.1.1 XP20 |
Saxon-EE 9.5.1.1 XQ10 |
Saxon-EE 9.5.1.1 XP30 |
Saxon-EE 9.5.1.1 XQ30 |
Saxon-EE 9.5.1.4 XQX30 (QT3 v1.1) |
XmlPrime 3.0.0.0 XP30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQ30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQX30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XP20 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQX10 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQ10 (QT3 vCVS) |
Zorba 2.9 XQ10 (QT3 vCVS) |
Zorba 2.9 XQ30 (QT3 vCVS) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| FunctionCall-042[+]
X FunctionCall-042: declare namespace lu = 'http://www.w3.org/XQueryTest/ListUnionTypes' ; import schema "http://www.w3.org/XQueryTest/ListUnionTypes"; declare function local:hof($f as function(xs:integer) as xs:integer) as xs:integer {$f(3) + 1}; let $f := function($a as lu:unionType) as xs:integer {$a + 2} return local:hof($f) |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| FunctionCall-043[+]
X FunctionCall-043: declare namespace lu = 'http://www.w3.org/XQueryTest/ListUnionTypes' ; import schema "http://www.w3.org/XQueryTest/ListUnionTypes"; declare function local:hof($f as function(lu:unionType) as xs:integer) as xs:integer {$f(3) + 1}; let $f := function($a as lu:unionOfUnionType) as xs:integer {$a + 2} return local:hof($f) |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| instanceof111[+]
X instanceof111: xs:NMTOKEN('abc') instance of xs:NMTOKENS |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass |
| instanceof112[+]
X instanceof112: declare namespace lu = 'http://www.w3.org/XQueryTest/ListUnionTypes' ; import schema "http://www.w3.org/XQueryTest/ListUnionTypes"; 23 instance of lu:unionType |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| instanceof113[+]
X instanceof113: declare namespace lu = 'http://www.w3.org/XQueryTest/ListUnionTypes' ; import schema "http://www.w3.org/XQueryTest/ListUnionTypes"; -23 instance of lu:restrictedUnionType |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
fail |
| instanceof114[+]
X instanceof114: declare namespace lu = 'http://www.w3.org/XQueryTest/ListUnionTypes' ; import schema "http://www.w3.org/XQueryTest/ListUnionTypes"; -23 instance of lu:listType |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| instanceof115[+]
X instanceof115: declare namespace lu = 'http://www.w3.org/XQueryTest/ListUnionTypes' ; import schema "http://www.w3.org/XQueryTest/ListUnionTypes"; -23 instance of lu:unionOfListType |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| instanceof116[+]
X instanceof116: declare namespace lu = 'http://www.w3.org/XQueryTest/ListUnionTypes' ; import schema "http://www.w3.org/XQueryTest/ListUnionTypes"; current-date() instance of lu:unionOfUnionType and 23 instance of lu:unionOfUnionType |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| instanceof117[+]
X instanceof117: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; s:gYearMonth('2012-10') instance of s:restrictedUnion |
no result | wrongError
expected: XPST0051 actualCode: XPST0017 |
pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
wrongError
Expected error: XPST0051. Found error: XPST0017 |
| instanceof118[+]
X instanceof118: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; s:unrestrictedInteger(3) instance of s:myUnionType1 |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| instanceof119[+]
X instanceof119: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; s:restrictedString("IB40") instance of s:myUnionType2 |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| instanceof120[+]
X instanceof120: xquery version "3.0"; import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; 85 instance of s:unionOfListsAndAtomic |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| instanceof135[+]
X instanceof135: import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; declare function local:f($a as s:myUnionType1) as xs:boolean { true() }; local:f#1 instance of function(s:myUnionType1) as xs:boolean |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| instanceof136[+]
X instanceof136: import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; declare function local:f($a as s:myUnionType1) as xs:boolean { true() }; local:f#1 instance of function(s:unrestrictedDate) as xs:boolean |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| instanceof137[+]
X instanceof137: import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; declare function local:f($a as s:myUnionType1) as xs:boolean { true() }; local:f#1 instance of function(s:unrestrictedInteger) as xs:boolean |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| instanceof138[+]
X instanceof138: import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; declare function local:f($a as s:myUnionType1) as xs:boolean { true() }; local:f#1 instance of function(s:restrictedDate) as xs:boolean |
no result | fail | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| instanceof139[+]
X instanceof139: import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; declare function local:f($a as s:approximateDate) as xs:boolean { true() }; local:f#1 instance of function(s:dateOrDateTime) as xs:boolean |
no result | fail | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
fail |
| instanceof140[+]
X instanceof140: import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; declare function local:f($a as xs:integer) as xs:boolean { true() }; local:f#1 instance of function(s:integer-union) as xs:boolean |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
fail |
| instanceof141[+]
X instanceof141: import schema namespace s="http://www.w3.org/XQueryTest/unionListDefined"; declare function local:f($a as s:decimal-or-string) as xs:boolean { true() }; local:f#1 instance of function(xs:integer) as xs:boolean |
no result | fail | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |