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

[Bug 11352] %nondeterministic and independent compilations of modules

From: <bugzilla@jessica.w3.org>
Date: Sat, 20 Nov 2010 07:48:17 +0000
To: public-qt-comments@w3.org
Message-Id: <E1PJiBF-0002Oa-5v@jessica.w3.org>
http://www.w3.org/Bugs/Public/show_bug.cgi?id=11352

Michael Dyck <jmdyck@ibiblio.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jmdyck@ibiblio.org

--- Comment #3 from Michael Dyck <jmdyck@ibiblio.org> 2010-11-20 07:48:16 UTC ---
(In reply to comment #2)
> 
> everything you said WOULD work, if modules would be required to disclose
> that information about their publicly exposed functions (signature AND
> semantic properties/annotations), and then stick to what they declared
> in the first place.
> 
> But they DON'T today. Only signature is required. Semantic properties are left
> in the air.

The XQuery spec doesn't explicitly say what information a module is "required
to disclose" under separate compilation (since the spec doesn't address
separate compilation). Rather, it's implicitly required to disclose whatever
information the implementation needs in order to behave conformantly. For
public functions, this clearly has to be more than just signatures, as that's
not enough to detect if a variable depends on itself (for instance).

-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Saturday, 20 November 2010 07:48:18 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 March 2012 18:15:08 GMT