22317 2013-06-10 14:28:28 +0000 modules-19 through modules-24 might raise an unexpected type error 2015-08-07 18:54:45 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XQuery 3 & XPath 3 Test Suite Candidate Recommendation PC Linux RESOLVED FIXED P2 normal --- 1 oneil oneil josh.spiegel spungi tim public-qt-comments oldest_to_newest 88994 0 oneil 2013-06-10 14:28:28 +0000 This bug was initially created by Josh Spiegel against XQTS (See: #11432), but needs addressing against FOTS. Bug details: The following tests: modules-19 modules-20 modules-21 modules-22 modules-23 modules-24 Might raise an unexpected type error due to a seemingly unintended problem in TestSources/module3-lib.xq. This module declares the variable $mod3:var2 as follows: declare variable $mod3:var2 as schema-element(simple:integer) := <simple:integer>1</simple:integer>; I think an implementation may raise a type error in this case. The solution may be to add a validate expression around the initializer. e.g. declare variable $mod3:var2 as schema-element(simple:integer) := validate { <simple:integer>1</simple:integer> }; 88995 1 oneil 2013-06-10 14:39:05 +0000 Bug fixed. I have removed the type declaration. So now we have the following in TestSources/module3-lib.xq: "declare variable $mod3:var2 := <simple:integer>1</simple:integer>;" 89054 2 spungi 2013-06-11 09:26:39 +0000 The changes in TestSources/module3-lib.xq broke test-case "modules-22" from "prod-ModuleImport". The mentioned test-case expects <error code="XQST0036"/> but with the changes in TestSources/module3-lib.xq the test-case returns: <simple:integer xmlns:simple="http://www.w3.org/XQueryTest/simple">1</simple:integer> 89057 3 tim 2013-06-11 09:49:56 +0000 I concur with Comment #2. 89066 4 oneil 2013-06-11 11:03:59 +0000 As suggested in comment #0 the declaration of var2 is now as follows: declare variable $mod3:var2 as schema-element(simple:integer) := validate { <simple:integer>1</simple:integer> }; 122514 5 josh.spiegel 2015-08-07 18:54:45 +0000 In the same module, this function needs the same fix: declare function mod3:function3() as schema-element(simple:integer) { <simple:integer>2</simple:integer> }; This should be: declare function mod3:function3() as schema-element(simple:integer) { validate { <simple:integer>2</simple:integer> } }; For the same reasons mentioned in comment 0. I will update CVS.