W3C home > Mailing lists > Public > public-qt-comments@w3.org > August 2007

[Bug 4841] [FS] Use of fn:subsequence in relation to normalization rules for filter expressions in FS

From: <bugzilla@wiggum.w3.org>
Date: Tue, 07 Aug 2007 11:18:43 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1IIN5H-0001Oy-06@wiggum.w3.org> 

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





------- Comment #8 from mike@saxonica.com  2007-08-07 11:18 -------
>The current rules infer a static type that is correct. 

Yes, the rules infer a correct static type for x[3.4], but at the cost of
computing the wrong value for the expression. I think there are some users out
there who care more about the result of evaluating the expression than about
its static type - though I agree these users are not part of the target
readership for the Formal Semantics ;-)
Received on Tuesday, 7 August 2007 11:18:44 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:14:20 GMT