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.