[Bug 2303] typing for fn:subsequence() redundant

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





------- Additional Comments From simeon@us.ibm.com  2005-09-29 09:16 -------
While processing this comment, the working group realized that the first of the
three rules related to this comment had a bug. The intent is to have
Expr[Numeric] be given a more specific type, not only Expr[1]. The rule should
be revised to
the following:

statEnv |-  QName of func expands to (FN-URI,"subsequence")
statEnv |-  Expr : Type      quantifier(Type) in { * }
-----------------------------------------------------------
statEnv  |-  QName(Expr, Numeric, 1) : prime(Type) ?

Thanks again for your comment on our specifications,
- Jerome
One behalf of the XML Query and XSLT WGs

Received on Thursday, 29 September 2005 09:16:47 UTC