3181 2006-05-03 17:38:08 +0000 [FS] editorial: 4 Expressions 2007-01-16 17:50:29 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Candidate Recommendation All All CLOSED FIXED P2 minor --- 1 jmdyck simeon public-qt-comments oldest_to_newest 9573 0 jmdyck 2006-05-03 17:38:08 +0000 4 Expressions STA / rule 1 / premise 2 Type <: empty A subtype judgment requires a statEnv. (On the other hand, does it have to be "<:"? Couldn't it just be "="?) 9687 1 simeon 2006-05-09 13:08:15 +0000 Added the missing statEnv |-, using Type <: () also covers the cases where the type is 'none'. - Jerome