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 1727 - [FS] probable typo in last inference in 7.2.13 "fn:subsequence"
Summary: [FS] probable typo in last inference in 7.2.13 "fn:subsequence"
Status: CLOSED WORKSFORME
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Last Call drafts
Hardware: PC Windows 2000
: P2 minor
Target Milestone: ---
Assignee: Jerome Simeon
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-07-18 21:44 UTC by Fred Zemke
Modified: 2007-01-16 17:39 UTC (History)
0 users

See Also:

Attachments

Description Fred Zemke 2005-07-18 21:44:34 UTC 
7.2.13 fn:subsequence
The last inference refers to prime (Type') and quantifier (Type')
but Type' is not defined or constrained by any judgment above 
the line.  Probably Type' is a typo for Type.
Comment 1 Jerome Simeon 2006-04-12 18:02:26 UTC 
This has been taken over by event and seems fixed in the CR draft.
- Jerome