W3C home > Mailing lists > Public > public-qt-comments@w3.org > November 2006

[Bug 1705] [FS] technical: 5.2 Module Declaration: cyclical imports

From: <bugzilla@wiggum.w3.org>
Date: Mon, 13 Nov 2006 05:17:21 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GjUC9-0001VW-02@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1705


simeon@us.ibm.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |RESOLVED
         Resolution|                            |FIXED




------- Comment #42 from simeon@us.ibm.com  2006-11-13 05:17 -------
This has been implemented. Here is a sketch of the implementation:

(1) added a judgment:

 statEnv1 |-   PrologDeclList =>sigs statEnv2  

which 'gather' function signatures, as suggested in comment #41.

(2) fixed the main module declaration rule, as suggested in comment #29.

(3) fixed the mapping from URIs to module declarations to return modules in
order, as suggested in comment #37, relying on the definition of dependency
specified in the XQuery 1.0 book.

(4) broke the module circularity similarly to what was suggested in comments
#36.

- Jerome
Received on Monday, 13 November 2006 05:17:27 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:16 UTC