W3C home > Mailing lists > Public > public-qt-comments@w3.org > October 2012

[Bug 19504] [QT3TS] instanceof139

From: <bugzilla@jessica.w3.org>
Date: Sat, 13 Oct 2012 15:44:17 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-19504-523-moVrtdJJuB@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=19504

--- Comment #8 from Michael Kay <mike@saxonica.com> ---
>I think things would hang together better if either the anomaly you pointed out regarding A being substitutable for union(A,B) didn't hold,, or if union(A,B) were substitutable for union(A,B,C).  This halfway house leaves things a little incoherent.

I think it makes most sense for our substitutability rules to be the same as
those in XSD. We could allow substitutability in cases where XSD doesn't (as we
do for example with substituting float for double), but it complicates things.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Saturday, 13 October 2012 15:44:18 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 13 October 2012 15:44:19 GMT