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

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

From: <bugzilla@wiggum.w3.org>
Date: Thu, 29 Sep 2005 09:16:43 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1EKuWx-0006iw-GY@wiggum.w3.org>

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

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