[basex-talk] Circular module dependency

Hi,

I'm having problem with modules importing each other. I have the two following restxq modules :

moduleA.xqm ------------------ module namespace moduleA = 'http:/www.example.com/moduleA';

import module namespace moduleB = 'http:/www.example.com/moduleB' at 'moduleB.xqm';

declare function moduleA:f() { "" }; ------------------

moduleB.xqm ------------------ module namespace moduleB = 'http:/www.example.com/moduleB';

import module namespace moduleA = 'http:/www.example.com/moduleA' at 'moduleA.xqm'; ------------------

They fail to compile with the following error:

Stopped at line 7, column 29 in /Users/jmague/work/basex/webapp/restxq/moduleA.xqm: [XQST0034] Duplicate declaration of function moduleA:f(...).

Are cross imports just forbidden ? Yet, the XQuery specification state that (section 4.12.4 Cycles) : "Implementations must resolve cycles in the import graph, either at the level of module URIs or at the level of location URIs, and ensure that each module is imported only once."

Best,

Jean-Philippe