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

[Bug 19504] [QT3TS] instanceof139

From: <bugzilla@jessica.w3.org>
Date: Fri, 12 Oct 2012 17:24:40 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-19504-523-8rD4lyOTcm@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=19504

--- Comment #4 from Michael Kay <mike@saxonica.com> ---
If we had normative rules about static typing or a normative reference to the
formal semantics, then I think you would be right. But we don't.

We do have rules for type subsumption that affect the (dynamic) typing rules
for first-class functions (and nothing else, which is why this test uses first
class functions). This rule is defined in terms of the "Type Derivation OK"
rules in XSD, not in terms of the XQuery formal semantics.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Friday, 12 October 2012 17:24:41 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 12 October 2012 17:24:41 GMT