FOTS: TypeswitchExpr related issues

Bug #1073994 reported by Sorin Marian Nasoi
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
Zorba
Fix Released
High
Markos Zaharioudakis

Bug Description

http://www.w3.org/TR/xquery-30/#doc-xquery30-TypeswitchExpr

The following 8 test cases fail in Zorba:

test set "prod-TypeswitchExpr"
test cases : "typeswitch-union-nomatch", "typeswitch-union-nomatch-2", "typeswitch-union-branch-1", "typeswitch-union-branch-1-dup", "typeswitch-union-branch-2", "typeswitch-union-branch-2-dup", "typeswitch-union-branch-both", "typeswitch-union-branch-both-dup"

"typeswitch-union-nomatch" query:
xquery version '3.0';
declare namespace op = 'http://www.zorba-xquery.com/options/features';
declare namespace f = 'http://www.zorba-xquery.com/features';
declare option op:enable 'f:hof';
typeswitch (<e/>)
case $i as xs:integer | xs:string return $i
default $v return 0

"typeswitch-union-nomatch-2" query:
xquery version '3.0';
declare namespace op = 'http://www.zorba-xquery.com/options/features';
declare namespace f = 'http://www.zorba-xquery.com/features';
declare option op:enable 'f:hof';
typeswitch (<e/>)
case xs:integer | xs:string return 1
default $v return 0

"typeswitch-union-branch-1" query:
xquery version '3.0';
declare namespace op = 'http://www.zorba-xquery.com/options/features';
declare namespace f = 'http://www.zorba-xquery.com/features';
declare option op:enable 'f:hof';
typeswitch (47)
case $i as xs:integer | xs:string return $i
default $v return 0

Tags: fots
Changed in zorba:
importance: Medium → High
Revision history for this message
Matthias Brantner (matthias-brantner) wrote :

Those tests don't work because Zorba doesn't implement union types, yet.

Changed in zorba:
status: New → Triaged
Changed in zorba:
assignee: Matthias Brantner (matthias-brantner) → nobody
assignee: nobody → Markos Zaharioudakis (markos-za)
Chris Hillery (ceejatec)
Changed in zorba:
milestone: 2.8 → 2.9
Changed in zorba:
status: Triaged → Fix Committed
Changed in zorba:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.