- From: <bugzilla@jessica.w3.org>
- Date: Fri, 14 Feb 2014 07:49:51 +0000
- To: public-qt-comments@w3.org
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