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

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 UTC