xquery 1.0 conformance- Module import

[Sorin Marian Nasoi]

19557:test/rbkt/w3c_testsuite/XQuery/Modules/ModuleImport/errata6-001
19558:test/rbkt/w3c_testsuite/XQuery/Modules/ModuleImport/errata6-002
19560:test/rbkt/w3c_testsuite/XQuery/Modules/ModuleImport/errata6-004
19561:test/rbkt/w3c_testsuite/XQuery/Modules/ModuleImport/errata6-005
19562:test/rbkt/w3c_testsuite/XQuery/Modules/ModuleImport/errata6-006
19563:test/rbkt/w3c_testsuite/XQuery/Modules/ModuleImport/errata6-007
19566:test/rbkt/w3c_testsuite/XQuery/Modules/ModuleImport/errata8-001
19567:test/rbkt/w3c_testsuite/XQuery/Modules/ModuleImport/errata8-002
19568:test/rbkt/w3c_testsuite/XQuery/Modules/ModuleImport/errata8-003
19570:test/rbkt/w3c_testsuite/XQuery/Modules/ModuleImport/modules-circular
19583:test/rbkt/w3c_testsuite/XQuery/Modules/ModuleImport/modules-19
19584:test/rbkt/w3c_testsuite/XQuery/Modules/ModuleImport/modules-20
19585:test/rbkt/w3c_testsuite/XQuery/Modules/ModuleImport/modules-21
19586:test/rbkt/w3c_testsuite/XQuery/Modules/ModuleImport/modules-22
19587:test/rbkt/w3c_testsuite/XQuery/Modules/ModuleImport/modules-23
19588:test/rbkt/w3c_testsuite/XQuery/Modules/ModuleImport/modules-24
19589:test/rbkt/w3c_testsuite/XQuery/Modules/ModuleImport/modules-25
19590:test/rbkt/w3c_testsuite/XQuery/Modules/ModuleImport/modules-26
19591:test/rbkt/w3c_testsuite/XQuery/Modules/ModuleImport/modules-27
19592:test/rbkt/w3c_testsuite/XQuery/Modules/ModuleImport/modules-28

[Sorin Marian Nasoi (sorin.marian.nasoi)]

For details please see the following 2 threads from @coders and the messages from me, Sorin Nasoi:
- "static context refactorings in r7882"
- "module uri resolution in XQTS"

[Sorin Marian Nasoi (sorin.marian.nasoi)]

Only these 3 tests are failing in r8963:

/w3c_testsuite/XQuery/Modules/ModuleImport/modules-circular
w3c_testsuite/XQuery/Modules/ModuleImport/errata8-003
w3c_testsuite/XQuery/Modules/ModuleImport/modules-28

[Sorin Marian Nasoi (sorin.marian.nasoi)]

w3c_testsuite/XQuery/Modules/ModuleImport/modules-28 was failing because the modules imported contained location hints.

There was already a bug opened for this issue: http://www.w3.org/Bugs/Public/show_bug.cgi?id=8129
but somehow this tests was not fixed.

I have committed a fix today and removed the location hints and the test passes.

The only tests that are failing now are
w3c_testsuite/XQuery/Modules/ModuleImport/modules-circular
w3c_testsuite/XQuery/Modules/ModuleImport/errata8-003
And both fail for the same reason:
- in both XQuery 1.0 spec (http://www.w3.org/TR/xquery/#id-module-import) and also XQuery 1.1 spec (http://www.w3.org/TR/xquery-11/#id-module-handling-cycles) it's stated that "It is not an error to have a cycle in the import graph, either at the level of module URIs or at the level of location URIs. The only rules concerning cycles affect the relationships between functions and variables defined in different modules."

Zorba considers a circular dependency if there is a cycle in the imported modules graph.

That is why for these 2 tests Zorba wrongly reports http://www.w3.org/TR/xquery/#ERRXQST0093

[Sorin Marian Nasoi (sorin.marian.nasoi)]

I have closed this bug and marked it as a "fixed" because all the tests are fixed except

w3c_testsuite/XQuery/Modules/ModuleImport/modules-circular
w3c_testsuite/XQuery/Modules/ModuleImport/errata8-003

That are already part of another opened bug, #3061074

https://sourceforge.net/tracker/index.php?func=detail&aid=3061074&group_id=226244&atid=1067586#