- From: <bugzilla@jessica.w3.org>
- Date: Sun, 20 Jan 2013 08:54:32 +0000
- To: public-qt-comments@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=20632
Tim Mills <tim@cbcl.co.uk> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |tim@cbcl.co.uk
--- Comment #2 from Tim Mills <tim@cbcl.co.uk> ---
(In reply to comment #1)
> The relevant rules are these two:
>
> However, this has a side-effect which we may or may not consider desirable.
> The side-effect is that (for example) union(dayTimeDuration,
> yearMonthDuration) is now a subtype of duration, which was not the case
> before.
I believe that, according to Formal Semantics, this was always the case, so
shouldn't be regarded as a change, since for every value V that matches the
union, V also matches duration. So I'd argue it was true in XQ1.0.
--
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Sunday, 20 January 2013 08:54:34 UTC