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. - JeromeReceived 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