- From: <bugzilla@wiggum.w3.org>
- Date: Mon, 13 Nov 2006 05:17:21 +0000
- To: public-qt-comments@w3.org
- CC:
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