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 1792 - [FS] editorial: []_sequencetype needs statEnv?
Summary: [FS] editorial: []_sequencetype needs statEnv?
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Last Call drafts
Hardware: All All
: 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-21 06:47 UTC by Michael Dyck
Modified: 2007-01-16 17:47 UTC (History)
0 users

See Also:

Attachments

Description Michael Dyck 2005-07-21 06:47:32 UTC 
There are examples of judgments like:
    statEnv |- Type = [[ SequenceType ]]_sequencetype
and also ones like:
    Type = [[ SequenceType ]]_sequencetype

As far as I can tell, []_sequencetype has no need of statEnv, so I suggest
changing instances of the former to the latter. This affects rules in:
    5.14
    5.15
    8.2.3.1.1
    8.2.3.1.2
    8.2.3.2.2
Comment 1 Jerome Simeon 2006-03-30 16:59:50 UTC 
Fixed as suggested.
- Jerome