This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 4578 - [FS] Possible error in filter expression normalization rules
Summary: [FS] Possible error in filter expression normalization rules
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Recommendation
Hardware: PC Windows NT
: P2 normal
Target Milestone: ---
Assignee: Michael Dyck
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2007-05-24 09:42 UTC by Tim Mills
Modified: 2007-10-04 07:33 UTC (History)
0 users

See Also:


Attachments

Description Tim Mills 2007-05-24 09:42:44 UTC
In 4.3.2 Filter Expressions the rule

[PrimaryExpr PredicateList [ fn:last() ]]Expr
==
let $fs:sequence := [PrimaryExpr PredicateList]Expr return
fn:subsequence($fs:sequence, $fs:last,1)

doesn't define fs:last.  I suspect it should be:

[PrimaryExpr PredicateList [ fn:last() ]]Expr
==
let $fs:sequence := [PrimaryExpr PredicateList]Expr return
let $fs:last := fn:count($fs:sequence) return
fn:subsequence($fs:sequence, $fs:last,1)
Comment 1 Michael Dyck 2007-05-30 06:44:06 UTC
Yup, I agree.
Comment 2 Michael Dyck 2007-06-05 17:10:56 UTC
Today, the Working Group approved your suggested change, so it will eventually appear in the FS errata document, and also be reflected in subsequent versions of the FS document. Consequently, I am marking this issue as RESOLVED FIXED.

Please CLOSE the issue to indicate your acceptance of this resolution.
Comment 3 Tim Mills 2007-06-06 06:01:09 UTC
Thanks.
Comment 4 Michael Dyck 2007-10-04 07:33:43 UTC
This issue has been entered as FS erratum E019, and the suggested change has been committed to the source files for the next edition of the FS document.