W3C home > Mailing lists > Public > public-qt-comments@w3.org > May 2005

[Bug 1207] Is unsignedInt("+123") an error?

From: <bugzilla@wiggum.w3.org>
Date: Fri, 13 May 2005 23:24:11 +0000
To: public-qt-comments@w3.org
Message-Id: <E1DWjVr-0004Z3-TW@wiggum.w3.org>


------- Additional Comments From mrys@microsoft.com  2005-05-13 23:24 -------
After having discussed this issue with my constituency, we feel that in the 
given case of casting to numeric types, we should allow xs:unsignedInt("+13") 
(taking the cast to base type/down-cast approach. However, in the general 
case, where the target type's lexical and value space are aligned, we agree 
that patterns need to be checked...

This is just another consequence of allowing patterns on types where the 
lexical and value space are not the same.
Received on Friday, 13 May 2005 23:24:14 UTC

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