- From: <bugzilla@jessica.w3.org>
- Date: Sat, 20 Nov 2010 07:48:17 +0000
- To: public-qt-comments@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 UTC