[Bug 19504] [QT3TS] instanceof139

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.