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/>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 20 January 2013 08:54:35 GMT