W3C home > Mailing lists > Public > public-qt-comments@w3.org > February 2014

[Bug 24569] Least common types and lattices

From: <bugzilla@jessica.w3.org>
Date: Fri, 14 Feb 2014 07:49:51 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-24569-523-uUe7uzdEnM@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=24569

--- Comment #7 from Michael Kay <mike@saxonica.com> ---
One way forward on this might be to say that the inferred type is always a
subset of the set of disjoint types {decimal, double, float, boolean, string,
dateTime, ..., document-node(), element(), attribute(), text(), ...,
function(*)}. The "lowest common supertype" of two types is then simply the
union of the two sets. An expression is then "possibly numeric" if it includes
decimal, double, or float in the subset, and it is "possibly parental" if it
includes document-node() or element() in the subset.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Friday, 14 February 2014 07:49:52 UTC

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