1792 2005-07-21 06:47:32 +0000 [FS] editorial: []_sequencetype needs statEnv? 2007-01-16 17:47:17 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All CLOSED FIXED P2 minor --- 1 jmdyck simeon public-qt-comments oldest_to_newest 5070 0 jmdyck 2005-07-21 06:47:32 +0000 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 8979 1 simeon 2006-03-30 16:59:50 +0000 Fixed as suggested. - Jerome