[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 #7 from jmdyck@ibiblio.org  2007-08-07 08:18 -------
(In reply to comment #6)
> 
> PrimaryExpr PredicateList [ NumericLiteral N where (N mod 1 ne 0 or N le 0)] 
> to
> ()

Yup, we could do that too, so that's solution #3. Like #1, it would result in a
different inferred static type in some cases.

> This gives the same static inference as the current rules except in cases 
> where the current rules get it wrong.

Re "get it wrong": The current rules infer a static type that is correct. (It's
less precise than possible in some cases, but that wasn't the point of the
original comment.) 

> Unlike the previous proposals, it still infers a singleton for numeric
> predicates expressed as decimals or doubles provided the actual value is equal
> to an integer.

In those cases, the current rules and proposal #2 also "infer a singleton", if
I understand what you mean by that.

> It's also a very localized change.

They're all pretty localized.

Received on Tuesday, 7 August 2007 08:19:06 UTC