This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
There are a number of positive tests in FunctionDeclaration which don't pass the Formal Semantics static typing rules. - function-declaration-007.xq - function-declaration-008.xq - function-declaration-009.xq - function-declaration-011.xq At least for these tests the necessary type declarations for the arguments and/or function result should be added. Actually, note that thse tests are inconsistent with most of the others in this directory which do explicilty declare the types. FYI - different queries but the issue is similar to http://www.w3.org/Bugs/Public/show_bug.cgi?id=2562 Another solution, depending on what the goal of the test is, add XPTY0004 as an expected error. Thanks, Marc
Fixed tests function-declaration-0[07,08,09,11].xq by using type declaration for arguments.
Reopened the bug. There is still an issue with the following 2 tests: function-declaration-008 function-declaration-009 The returned type of the recursive function is not specified. Please add 'as xs:integer' as is done in function-declaration-011 Thanks, Marc
Fixed the tests.
I confirm this is resolved in XQTS 0.9.4