This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
The test separate-modules- is grammatically incorrect. import module module = "http://www.w3.org/XQueryTest/RequireProhibitFeature"; declare option prohibit-feature "higher-order-function"; let $f in module:one() return 1 The second use of module should be "module" (string literal). 'in' should be ':=' Similar problems exist in the other separate-modules-X tests.
Correction, import module module = "http://www.w3.org/XQueryTest/RequireProhibitFeature"; should be import module namespace module = "http://www.w3.org/XQueryTest/RequireProhibitFeature";
In the file dummy.xquery the module declaration is grammatically incorrect : module namespace = "http://www.w3.org/XQueryTest/RequireProhibitFeature"; Missing a name. Correction made: module namespace m = "http://www.w3.org/XQueryTest/RequireProhibitFeature"; It looks like the other problems have been resolved. Therefore I am marking this bug as fixed.
This doesn't look fixed to me. e.g. separate-modules-1 import module module = "http://www.w3.org/XQueryTest/RequireProhibitFeature"; declare option prohibit-feature "higher-order-function"; let $f in module:one() return 1 See comment #1
I've taken the liberty of correcting a number of syntax errors which were afflicting these tests. separate-modules-8 and 9 seem to be fundamentally wrong though.
I have correct separate-modules-2. Similar problem as described in comment #0. The following: for $f := module:one() return 1 Should be: for $f in module:one() return 1
There is still a problem with separate-modules-2: import module namespace module = "http://www.w3.org/XQueryTest/RequireProhibitFeature"; declare option prohibit-feature "all-optional-features"; for $f in module:one() return 1 The expected result is reported to succeed if supported with <assert-eq>1</assert-eq>. But surely this test should fail since all-optional-features are prohibited and module has not been declared as a required-feature. I will make the change of replacing the expected result above with the error code XQST0016.
Indeed it should. I suggest asking Ghislain to sort these tests out.
Thanks for noticing. I added a feature dependency on module import for all these tests.
Many thanks O'Neil for correcting the syntax errors. We'll have a definitive confirmation on them as soon as an implementation can run these tests.
I think these are all now working.