W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2006

[Bug 3717] Cardinality inference for 'cast as' should take operand into account

From: <bugzilla@wiggum.w3.org>
Date: Wed, 13 Sep 2006 20:28:11 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GNbL9-00015d-6I@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3717





------- Comment #1 from mrys@microsoft.com  2006-09-13 20:28 -------
While special casing the inference solves the particular problem, often the
arguments to fn:dateTime() will be provided using some expressions that will
infer optionality in their static type. So this proposal will only solve a
small subset and will not address the general issue.

The general issue should be (and has been) resolved by widening the accepted
type range for fn:dateTime().

Best regards
Michael
Received on Wednesday, 13 September 2006 20:28:21 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:30 UTC