W3C home > Mailing lists > Public > public-qt-comments@w3.org > January 2013

[Bug 20632] [XP 3.0] Transitivity of subtype relationships

From: <bugzilla@jessica.w3.org>
Date: Sun, 20 Jan 2013 08:54:32 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-20632-523-EzlNVvna1B@http.www.w3.org/Bugs/Public/>

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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:41 UTC