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
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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.

  翻译：